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