ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

depot_autopilot: add ARM 64-bit support 

issue #3407
This commit is contained in:
Sebastian Sumpf 2019-05-21 14:02:45 +02:00 committed by Christian Helmuth
parent e337b844e5
commit c107aba913
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/gems/run/depot_autopilot.run
View File

@ -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

1
repos/gems/src/app/depot_autopilot/config.xsd
View File

@ -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 -->