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 000000000..e69de29bb
--- /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 000000000..e69de29bb
--- /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 000000000..e69de29bb
--- /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 000000000..e69de29bb
--- /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 000000000..e69de29bb
--- /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 000000000..e69de29bb
--- /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 000000000..e69de29bb
--- /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 000000000..f17ea0de3
--- /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