diff --git a/tool/builddir/etc/build.conf.hw_imx31 b/tool/builddir/etc/build.conf.hw_imx31
new file mode 100644
index 0000000000..9c370116a3
--- /dev/null
+++ b/tool/builddir/etc/build.conf.hw_imx31
@@ -0,0 +1 @@
+REPOSITORIES += $(GENODE_DIR)/base-hw
diff --git a/tool/create_builddir b/tool/create_builddir
index 2ed3725c20..8c775bc11c 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -30,6 +30,7 @@ usage:
 	@echo "                  'hw_panda'"
 	@echo "                  'hw_vea9x4'"
 	@echo "                  'hw_pbxa9'"
+	@echo "                  'hw_imx31'"
 	@echo "                  'foc_x86_32'"
 	@echo "                  'foc_x86_64'"
 	@echo "                  'foc_pbxa9'"
@@ -193,6 +194,9 @@ hw_vea9x4::
 hw_panda::
 	@echo "SPECS = genode hw_panda" > $(BUILD_DIR)/etc/specs.conf
 
+hw_imx31::
+	@echo "SPECS = genode hw_imx31" > $(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