[efi] Register a device tree if provided by the platform firmware
[ipxe.git] / src / config / usb.h
1 #ifndef CONFIG_USB_H
2 #define CONFIG_USB_H
3
4 /** @file
5 *
6 * USB configuration
7 *
8 */
9
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11
12 #include <config/defaults.h>
13
14 /*
15 * USB host controllers (all enabled by default)
16 *
17 */
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 */
22
23 /*
24 * USB peripherals
25 *
26 */
27 //#undef USB_KEYBOARD /* USB keyboards */
28
29 /*
30 * USB external interfaces
31 *
32 */
33 //#undef USB_EFI /* Provide EFI_USB_IO_PROTOCOL interface */
34
35 #include <config/named.h>
36 #include NAMED_CONFIG(usb.h)
37 #include <config/local/usb.h>
38 #include LOCAL_NAMED_CONFIG(usb.h)
39
40 #endif /* CONFIG_USB_H */