iPXE
usb.h
Go to the documentation of this file.
00001 /*
00002  * Use EFI_USB_IO_PROTOCOL
00003  *
00004  * The Raspberry Pi uses an embedded DesignWare USB controller for
00005  * which we do not have a native driver.  Use via the
00006  * EFI_USB_IO_PROTOCOL driver instead.
00007  *
00008  */
00009 #undef USB_HCD_XHCI
00010 #undef USB_HCD_EHCI
00011 #undef USB_HCD_UHCI
00012 #define USB_HCD_USBIO
00013 #undef USB_EFI