Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
[build] Add named configuration for Raspberry Pi
Signed-off-by: Michael Brown <mcb30@ipxe.org>
  • Loading branch information
mcb30 committed Jul 19, 2019
1 parent 83e0f9f commit a046329
Show file tree
Hide file tree
Showing 8 changed files with 13 additions and 0 deletions.
Empty file added src/config/rpi/colour.h
Empty file.
Empty file added src/config/rpi/console.h
Empty file.
Empty file added src/config/rpi/crypto.h
Empty file.
Empty file added src/config/rpi/general.h
Empty file.
Empty file added src/config/rpi/serial.h
Empty file.
Empty file added src/config/rpi/settings.h
Empty file.
Empty file added src/config/rpi/sideband.h
Empty file.
13 changes: 13 additions & 0 deletions src/config/rpi/usb.h
@@ -0,0 +1,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

0 comments on commit a046329

Please sign in to comment.