[efi] Disable EFI watchdog timer when shutting down to boot an OS
[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 //#undef USB_BLOCK /* USB block devices */
29
30 /*
31 * USB external interfaces
32 *
33 */
34 //#undef USB_EFI /* Provide EFI_USB_IO_PROTOCOL interface */
35
36 #include <config/named.h>
37 #include NAMED_CONFIG(usb.h)
38 #include <config/local/usb.h>
39 #include LOCAL_NAMED_CONFIG(usb.h)
40
41 #endif /* CONFIG_USB_H */