iPXE
usb.h
Go to the documentation of this file.
00001 #ifndef CONFIG_USB_H
00002 #define CONFIG_USB_H
00003 
00004 /** @file
00005  *
00006  * USB configuration
00007  *
00008  */
00009 
00010 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
00011 
00012 #include <config/defaults.h>
00013 
00014 /*
00015  * USB host controllers (all enabled by default)
00016  *
00017  */
00018 //#undef        USB_HCD_XHCI    /* xHCI USB host controller */
00019 //#undef        USB_HCD_EHCI    /* EHCI USB host controller */
00020 //#undef        USB_HCD_UHCI    /* UHCI USB host controller */
00021 //#define       USB_HCD_USBIO   /* Very slow EFI USB host controller */
00022 
00023 /*
00024  * USB peripherals
00025  *
00026  */
00027 //#undef        USB_KEYBOARD    /* USB keyboards */
00028 
00029 /*
00030  * USB external interfaces
00031  *
00032  */
00033 //#undef        USB_EFI         /* Provide EFI_USB_IO_PROTOCOL interface */
00034 
00035 #include <config/named.h>
00036 #include NAMED_CONFIG(usb.h)
00037 #include <config/local/usb.h>
00038 #include LOCAL_NAMED_CONFIG(usb.h)
00039 
00040 #endif /* CONFIG_USB_H */