diff --git a/repos/base-hw/run/cpu_scheduler.run b/repos/base-hw/run/cpu_scheduler.run
index 92e424358a..57d0782bf7 100644
--- a/repos/base-hw/run/cpu_scheduler.run
+++ b/repos/base-hw/run/cpu_scheduler.run
@@ -23,7 +23,7 @@ install_config {
-
+
}
diff --git a/repos/base-hw/run/double_list.run b/repos/base-hw/run/double_list.run
index e47fc27a6a..e4a699b04e 100644
--- a/repos/base-hw/run/double_list.run
+++ b/repos/base-hw/run/double_list.run
@@ -16,11 +16,14 @@ install_config {
+
+
+
-
+