diff options
| author | Michael Brown <mcb30@ipxe.org> | 2019-07-19 17:45:22 +0100 |
|---|---|---|
| committer | Michael Brown <mcb30@ipxe.org> | 2019-07-19 17:45:22 +0100 |
| commit | a046329012856f33eeedc428237564e66367cd90 (patch) | |
| tree | 2a742c60f7d0f270d42b38a8f2c98d36c7f07cd7 | |
| parent | 83e0f9f377246ba99f61e24a9074122d86ec3f20 (diff) | |
| download | ipxe-a046329012856f33eeedc428237564e66367cd90.zip ipxe-a046329012856f33eeedc428237564e66367cd90.tar.gz ipxe-a046329012856f33eeedc428237564e66367cd90.tar.bz2 | |
[build] Add named configuration for Raspberry Pi
Signed-off-by: Michael Brown <mcb30@ipxe.org>
| -rw-r--r-- | src/config/rpi/colour.h | 0 | ||||
| -rw-r--r-- | src/config/rpi/console.h | 0 | ||||
| -rw-r--r-- | src/config/rpi/crypto.h | 0 | ||||
| -rw-r--r-- | src/config/rpi/general.h | 0 | ||||
| -rw-r--r-- | src/config/rpi/serial.h | 0 | ||||
| -rw-r--r-- | src/config/rpi/settings.h | 0 | ||||
| -rw-r--r-- | src/config/rpi/sideband.h | 0 | ||||
| -rw-r--r-- | src/config/rpi/usb.h | 13 |
8 files changed, 13 insertions, 0 deletions
diff --git a/src/config/rpi/colour.h b/src/config/rpi/colour.h new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/config/rpi/colour.h diff --git a/src/config/rpi/console.h b/src/config/rpi/console.h new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/config/rpi/console.h diff --git a/src/config/rpi/crypto.h b/src/config/rpi/crypto.h new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/config/rpi/crypto.h diff --git a/src/config/rpi/general.h b/src/config/rpi/general.h new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/config/rpi/general.h diff --git a/src/config/rpi/serial.h b/src/config/rpi/serial.h new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/config/rpi/serial.h diff --git a/src/config/rpi/settings.h b/src/config/rpi/settings.h new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/config/rpi/settings.h diff --git a/src/config/rpi/sideband.h b/src/config/rpi/sideband.h new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/config/rpi/sideband.h diff --git a/src/config/rpi/usb.h b/src/config/rpi/usb.h new file mode 100644 index 0000000..f17ea0d --- /dev/null +++ b/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 |