| #ifndef CONFIG_USB_H | |
| #define CONFIG_USB_H | |
| /** @file | |
| * | |
| * USB configuration | |
| * | |
| */ | |
| FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); | |
| FILE_SECBOOT ( PERMITTED ); | |
| #include <config/defaults.h> | |
| /* USB host controllers */ | |
| #define USB_HCD_EHCI /* EHCI USB host controller */ | |
| #define USB_HCD_UHCI /* UHCI USB host controller */ | |
| #define USB_HCD_XHCI /* xHCI USB host controller */ | |
| /* USB peripherals */ | |
| #define USB_BLOCK /* USB block devices */ | |
| #define USB_KEYBOARD /* USB keyboards */ | |
| /* USB quirks on EFI platforms */ | |
| #if defined ( PLATFORM_efi ) | |
| #define USB_EFI /* Provide EFI_USB_IO_PROTOCOL interface */ | |
| //#define USB_HCD_USBIO /* Very slow EFI USB pseudo-host controller */ | |
| #undef USB_KEYBOARD /* Use built-in EFI keyboard driver */ | |
| #endif | |
| #include <config/named.h> | |
| #include NAMED_CONFIG(usb.h) | |
| #include <config/local/usb.h> | |
| #include LOCAL_NAMED_CONFIG(usb.h) | |
| #endif /* CONFIG_USB_H */ |