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 */
29 #include <config/named.h>
30 #include NAMED_CONFIG(usb.h)
31 #include <config/local/usb.h>
32 #include LOCAL_NAMED_CONFIG(usb.h)
34 #endif /* CONFIG_USB_H */