From c107aba9138165c9ffbc09393edaa6e4b20440c2 Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf Date: Tue, 21 May 2019 14:02:45 +0200 Subject: [PATCH] depot_autopilot: add ARM 64-bit support issue #3407 --- repos/gems/run/depot_autopilot.run | 8 ++++++-- repos/gems/src/app/depot_autopilot/config.xsd | 1 + 2 files changed, 7 insertions(+), 2 deletions(-) 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 @@ +