diff options
| -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 00000000..e69de29b --- /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 00000000..e69de29b --- /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 00000000..e69de29b --- /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 00000000..e69de29b --- /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 00000000..e69de29b --- /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 00000000..e69de29b --- /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 00000000..e69de29b --- /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 00000000..f17ea0de --- /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 |