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 */
30
* USB external interfaces
33
//#undef USB_EFI /* Provide EFI_USB_IO_PROTOCOL interface */
35
#include <config/named.h>
36
#include NAMED_CONFIG(usb.h)
37
#include <config/local/usb.h>
38
#include LOCAL_NAMED_CONFIG(usb.h)
40
#endif /* CONFIG_USB_H */