diff --git a/repos/base-hw/run/cpu_scheduler.run b/repos/base-hw/run/cpu_scheduler.run
index acb3298eb..b51a9046c 100644
--- a/repos/base-hw/run/cpu_scheduler.run
+++ b/repos/base-hw/run/cpu_scheduler.run
@@ -10,6 +10,9 @@ build "test/cpu_scheduler"
 # create directory where the boot files are written to
 create_boot_directory
 
+# the init config is not used but the build system needs it
+install_config {<dummy/>}
+
 # create single boot image from the compiled program images
 set core_test 1
 build_boot_image "test-cpu_scheduler"
diff --git a/repos/base-hw/run/double_list.run b/repos/base-hw/run/double_list.run
index e45a0d039..0e4324357 100644
--- a/repos/base-hw/run/double_list.run
+++ b/repos/base-hw/run/double_list.run
@@ -10,6 +10,9 @@ build "test/double_list"
 # create directory where the boot files are written to
 create_boot_directory
 
+# the init config is not used but the build system needs it
+install_config {<dummy/>}
+
 # create single boot image from the compiled program images
 set core_test 1
 build_boot_image "test-double_list"
diff --git a/repos/base-hw/run/hw_info.run b/repos/base-hw/run/hw_info.run
index 2c860f93b..d20ef27ef 100644
--- a/repos/base-hw/run/hw_info.run
+++ b/repos/base-hw/run/hw_info.run
@@ -10,6 +10,9 @@ build "test/hw_info"
 # create directory where the boot files are written to
 create_boot_directory
 
+# the init config is not used but the build system needs it
+install_config {<dummy/>}
+
 # create single boot image from the compiled program images
 set core_test 1
 build_boot_image "test-hw_info"