diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index a8fd2be946..ebcda52bef 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -457,7 +457,7 @@ proc prepare_to_run_genode { } {
 	set serial_id -1
 	set timeout 40
 
-	append qemu_args "-m 768 -nographic -serial mon:stdio "
+	append qemu_args "-m 768 -nographic "
 }
 
 
@@ -630,7 +630,8 @@ proc exit {{status 0}} {
 #
 if {[expr ![have_spec x86] && \
           ![have_spec arm_v6] && \
-          ![have_spec arm_v7a]] || \
+          ![have_spec arm_v7a] && \
+          ![have_spec arm_v8a]] || \
     [expr [have_spec foc] && [have_spec panda]]} \
 {
 	puts "\n Run script is not supported on this platform. \n";
@@ -769,6 +770,9 @@ set skip_test(test-solo5)           [expr ![have_spec x86_64]]
 set skip_test(test-spark_exception) [expr [have_spec arm]]
 set skip_test(test-tcp_bulk_lwip)   [expr ![have_spec x86]]
 set skip_test(test-tcp_bulk_lxip)   [expr ![have_spec x86]]
+set skip_test(test-xml_generator)   [expr [have_spec arm_v8a]]
+set skip_test(gcov)                 [expr [have_spec arm_v8a]]
+set skip_test(test-rust)            [expr [have_spec arm_v8a]]
 
 #
 # FIXME
diff --git a/repos/gems/src/app/depot_autopilot/config.xsd b/repos/gems/src/app/depot_autopilot/config.xsd
index d88bbd6458..abc5957068 100644
--- a/repos/gems/src/app/depot_autopilot/config.xsd
+++ b/repos/gems/src/app/depot_autopilot/config.xsd
@@ -18,6 +18,7 @@
 			<xs:enumeration value="x86_32" />
 			<xs:enumeration value="arm_v6" />
 			<xs:enumeration value="arm_v7a" />
+			<xs:enumeration value="arm_v8a" />
 		</xs:restriction>
 	</xs:simpleType><!-- Architecture -->