diff --git a/headers/private/kernel/arch/arm/board/overo/board_config.h b/headers/private/kernel/arch/arm/board/overo/board_config.h
new file mode 100644
index 0000000000..7155e1f575
--- /dev/null
+++ b/headers/private/kernel/arch/arm/board/overo/board_config.h
@@ -0,0 +1,12 @@
+/*
+ * Copyright 2009
+ * Distributed under the terms of the MIT License.
+ */
+#ifndef _BOARD_OVERO_BOARD_CONFIG_H
+#define _BOARD_OVERO_BOARD_CONFIG_H
+
+#define BOARD_NAME_PRETTY "Gumstix Overo"
+
+#include <arch/arm/omap3.h>
+
+#endif /* _BOARD_OVERO_BOARD_CONFIG_H */
diff --git a/headers/private/kernel/arch/arm/board/verdex/board_config.h b/headers/private/kernel/arch/arm/board/verdex/board_config.h
new file mode 100644
index 0000000000..f8fd7efda2
--- /dev/null
+++ b/headers/private/kernel/arch/arm/board/verdex/board_config.h
@@ -0,0 +1,12 @@
+/*
+ * Copyright 2009
+ * Distributed under the terms of the MIT License.
+ */
+#ifndef _BOARD_VERDEX_BOARD_CONFIG_H
+#define _BOARD_VERDEX_BOARD_CONFIG_H
+
+#define BOARD_NAME_PRETTY "Gumstix Verdex"
+
+#include <arch/arm/pxa270.h>
+
+#endif /* _BOARD_VERDEX_BOARD_CONFIG_H */