diff --git a/tool/builddir/etc/build.conf.hw_panda_a2 b/tool/builddir/etc/build.conf.hw_panda_a2
new file mode 100644
index 000000000..9c370116a
--- /dev/null
+++ b/tool/builddir/etc/build.conf.hw_panda_a2
@@ -0,0 +1 @@
+REPOSITORIES += $(GENODE_DIR)/base-hw
diff --git a/tool/builddir/etc/build.conf.hw_pbxa9 b/tool/builddir/etc/build.conf.hw_pbxa9
new file mode 100644
index 000000000..9c370116a
--- /dev/null
+++ b/tool/builddir/etc/build.conf.hw_pbxa9
@@ -0,0 +1 @@
+REPOSITORIES += $(GENODE_DIR)/base-hw
diff --git a/tool/builddir/etc/build.conf.hw_vea9x4 b/tool/builddir/etc/build.conf.hw_vea9x4
new file mode 100644
index 000000000..9c370116a
--- /dev/null
+++ b/tool/builddir/etc/build.conf.hw_vea9x4
@@ -0,0 +1 @@
+REPOSITORIES += $(GENODE_DIR)/base-hw
diff --git a/tool/create_builddir b/tool/create_builddir
index 0a984def3..54da2887b 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -27,6 +27,9 @@ usage:
 	@echo "                  'nova_x86_64'"
 	@echo "                  'codezero_vpb926'"
 	@echo "                  'mb_s3a_starter_kit'"
+	@echo "                  'hw_panda_a2'"
+	@echo "                  'hw_vea9x4'"
+	@echo "                  'hw_pbxa9'"
 	@echo "                  'foc_x86_32'"
 	@echo "                  'foc_x86_64'"
 	@echo "                  'foc_pbxa9'"
@@ -177,6 +180,15 @@ mb_s3a_starter_kit::
 mb_ml507::
 	@echo "SPECS = genode mb_ml507" > $(BUILD_DIR)/etc/specs.conf
 
+hw_pbxa9::
+	@echo "SPECS = genode hw_pbxa9" > $(BUILD_DIR)/etc/specs.conf
+
+hw_vea9x4::
+	@echo "SPECS = genode hw_vea9x4" > $(BUILD_DIR)/etc/specs.conf
+
+hw_panda_a2::
+	@echo "SPECS = genode hw_panda_a2" > $(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