3 files changed, 32 insertions, 0 deletions
diff --git a/src/config/defaults.h b/src/config/defaults.h
new file mode 100644
index 000000000..1f55ef3cc
--- /dev/null
+++ b/src/config/defaults.h
@@ -0,0 +1,8 @@
+#ifndef CONFIG_DEFAULTS_H
+#define CONFIG_DEFAULTS_H
+
+#define CONFIG_DEFAULTS(_platform) <config/defaults/_platform.h>
+
+#include CONFIG_DEFAULTS(PLATFORM)
+
+#endif /* CONFIG_DEFAULTS_H */
diff --git a/src/config/defaults/pcbios.h b/src/config/defaults/pcbios.h
new file mode 100644
index 000000000..f1a48bcac
--- /dev/null
+++ b/src/config/defaults/pcbios.h
@@ -0,0 +1,12 @@
+#ifndef CONFIG_DEFAULTS_PCBIOS_H
+#define CONFIG_DEFAULTS_PCBIOS_H
+
+/** @file
+ *
+ * Configuration defaults for PCBIOS
+ *
+ */
+
+#define IOAPI_X86
+
+#endif /* CONFIG_DEFAULTS_PCBIOS_H */
diff --git a/src/config/ioapi.h b/src/config/ioapi.h
new file mode 100644
index 000000000..28c4f7bac
--- /dev/null
+++ b/src/config/ioapi.h
@@ -0,0 +1,12 @@
+#ifndef CONFIG_IOAPI_H
+#define CONFIG_IOAPI_H
+
+/** @file
+ *
+ * I/O API configuration
+ *
+ */
+
+#include <config/defaults.h>
+
+#endif /* CONFIG_IOAPI_H */