diff --git a/repos/base-hw/src/core/include/spec/vea9x4/board.h b/repos/base-hw/src/core/include/spec/vea9x4/board.h
new file mode 100644
index 000000000..e06a00e2a
--- /dev/null
+++ b/repos/base-hw/src/core/include/spec/vea9x4/board.h
@@ -0,0 +1,40 @@
+/*
+ * \brief  Board driver for core
+ * \author Martin Stein
+ * \date   2012-04-23
+ */
+
+/*
+ * Copyright (C) 2012-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
+#ifndef _BOARD_H_
+#define _BOARD_H_
+
+/* core includes */
+#include <drivers/board_base.h>
+
+namespace Genode
+{
+	class Board : public Board_base
+	{
+		public:
+
+			static void outer_cache_invalidate() { }
+			static void outer_cache_flush() { }
+			static void prepare_kernel() { }
+			static void secondary_cpus_ip(void * const ip) { }
+
+			/**
+			 * FIXME We return true although base-hw doesn't support SMP
+			 *       because UP-configurations in the TTBRs and the
+			 *       translation-table descriptors cause problems.
+			 */
+			static bool is_smp() { return true; }
+	};
+}
+
+#endif /* _BOARD_H_ */