iPXE
usb.h
Go to the documentation of this file.
1 /*
2  * Use EFI_USB_IO_PROTOCOL
3  *
4  * The Raspberry Pi uses an embedded DesignWare USB controller for
5  * which we do not have a native driver. Use via the
6  * EFI_USB_IO_PROTOCOL driver instead.
7  *
8  */
9 #undef USB_HCD_XHCI
10 #undef USB_HCD_EHCI
11 #undef USB_HCD_UHCI
12 #define USB_HCD_USBIO
13 #undef USB_EFI