diff --git a/base-fiasco/run/env b/base-fiasco/run/env
index 82c4045c8..902525f20 100644
--- a/base-fiasco/run/env
+++ b/base-fiasco/run/env
@@ -127,5 +127,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
-
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}
diff --git a/base-foc/run/env b/base-foc/run/env
index 31b288647..03c9041e4 100644
--- a/base-foc/run/env
+++ b/base-foc/run/env
@@ -238,4 +238,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}
diff --git a/base-okl4/run/env b/base-okl4/run/env
index 3b255d7b3..dabf44643 100644
--- a/base-okl4/run/env
+++ b/base-okl4/run/env
@@ -197,4 +197,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}
diff --git a/base-pistachio/run/env b/base-pistachio/run/env
index 0d7862eea..091a92ccd 100644
--- a/base-pistachio/run/env
+++ b/base-pistachio/run/env
@@ -105,4 +105,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}