diff --git a/tool/builddir/etc/build.conf.hw_arndale b/tool/builddir/etc/build.conf.hw_arndale
new file mode 100644
index 0000000000..9c370116a3
--- /dev/null
+++ b/tool/builddir/etc/build.conf.hw_arndale
@@ -0,0 +1 @@
+REPOSITORIES += $(GENODE_DIR)/base-hw
diff --git a/tool/create_builddir b/tool/create_builddir
index ed5206e7b6..d5a303a365 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -31,6 +31,7 @@ usage:
 	@echo "                  'hw_pbxa9'"
 	@echo "                  'hw_imx31'"
 	@echo "                  'hw_imx53'"
+	@echo "                  'hw_arndale'"
 	@echo "                  'foc_x86_32'"
 	@echo "                  'foc_x86_64'"
 	@echo "                  'foc_pbxa9'"
@@ -196,6 +197,9 @@ hw_imx31::
 hw_imx53::
 	@echo "SPECS = genode hw_imx53" > $(BUILD_DIR)/etc/specs.conf
 
+hw_arndale::
+	@echo "SPECS = genode hw_arndale" > $(BUILD_DIR)/etc/specs.conf
+
 lx_hybrid_x86::
 	@echo "CROSS_DEV_PREFIX =" > $(BUILD_DIR)/etc/tools.conf
 	@echo "SPECS += always_hybrid" >> $(BUILD_DIR)/etc/specs.conf