iPXE
config
rpi
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
Generated by
1.8.15