src/config/rpi/usb.h


1
2
3
4
5
6
7
8
9
10
11
12
13

/*
 * Use EFI_USB_IO_PROTOCOL
 *
 * The Raspberry Pi uses an embedded DesignWare USB controller for
 * which we do not have a native driver.  Use via the
 * EFI_USB_IO_PROTOCOL driver instead.
 *
 */
#undef USB_HCD_XHCI
#undef USB_HCD_EHCI
#undef USB_HCD_UHCI
#define USB_HCD_USBIO
#undef USB_EFI