10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL
);
12 #include <config/defaults.h>
15 * USB host controllers (all enabled by default)
18 //#undef USB_HCD_XHCI /* xHCI USB host controller */
19 //#undef USB_HCD_EHCI /* EHCI USB host controller */
20 //#undef USB_HCD_UHCI /* UHCI USB host controller */
21 //#define USB_HCD_USBIO /* Very slow EFI USB host controller */
27 //#undef USB_KEYBOARD /* USB keyboards */
28 //#undef USB_BLOCK /* USB block devices */
31 * USB external interfaces
34 //#undef USB_EFI /* Provide EFI_USB_IO_PROTOCOL interface */
36 #include <config/named.h>
37 #include NAMED_CONFIG(usb.h)
38 #include <config/local/usb.h>
39 #include LOCAL_NAMED_CONFIG(usb.h)
41 #endif /* CONFIG_USB_H */