diff --git a/tests/libc.dhall b/tests/libc.dhall
index 065972c..52d19d4 100644
--- a/tests/libc.dhall
+++ b/tests/libc.dhall
@@ -12,6 +12,7 @@ in    λ ( _
             { test-libc =
                   Genode.Init.Start::{
                   , binary = "test-libc"
+                  , exitPropagate = True
                   , resources = { caps = 200, ram = Genode.units.MiB 400 }
                   , routes = [ Genode.ServiceRoute.parent "Timer" ]
                   , config =
diff --git a/tests/pci.dhall b/tests/pci.dhall
index bcb09db..32a6ced 100644
--- a/tests/pci.dhall
+++ b/tests/pci.dhall
@@ -12,6 +12,7 @@ in  { config =
               { test-pci =
                   Genode.Init.Start::{
                   , binary = "test-pci"
+                  , exitPropagate = True
                   , resources = { caps = 96, ram = Genode.units.MiB 2 }
                   , routes =
                       [ Genode.ServiceRoute.child "Platform" "platform_drv" ]
diff --git a/tests/signal.dhall b/tests/signal.dhall
index 4fd961f..5021eef 100644
--- a/tests/signal.dhall
+++ b/tests/signal.dhall
@@ -12,6 +12,7 @@ in  { config =
               { test-signal =
                   Genode.Init.Start::{
                   , binary = "test-signal"
+                  , exitPropagate = True
                   , resources = { caps = 500, ram = Genode.units.MiB 10 }
                   , routes = [ Genode.ServiceRoute.parent "Timer" ]
                   }
diff --git a/tests/solo5/simple.dhall b/tests/solo5/simple.dhall
index ae230a1..e641f8f 100644
--- a/tests/solo5/simple.dhall
+++ b/tests/solo5/simple.dhall
@@ -10,6 +10,7 @@ in    λ(testBinary : Genode.Prelude.Map.Entry Text Text)
                 { solo5 =
                     Genode.Init.Start::{
                     , binary = testBinary.mapKey
+                    , exitPropagate = True
                     , resources = { caps = 256, ram = Genode.units.MiB 3 }
                     , routes = [ Genode.ServiceRoute.parent "Timer" ]
                     , config =