diff --git a/repos/os/run/init.run b/repos/os/run/init.run
index f91082ca56..f7dff1ceeb 100644
--- a/repos/os/run/init.run
+++ b/repos/os/run/init.run
@@ -971,9 +971,86 @@ append config {
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1017,5 +1094,5 @@ build_boot_image $boot_modules
append qemu_args " -nographic "
-run_genode_until {.*child "test-init" exited with exit value 0.*} 120
+run_genode_until {.*child "test-init" exited with exit value 0.*} 130