ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Run TCP bulk tests on all Qemu platforms

Browse Source 
This explicitly includes ARM32/64.
This commit is contained in:
Christian Helmuth 2019-12-18 16:09:04 +01:00
parent e54ff599ca
commit 24435e9ca1
2 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -767,8 +767,8 @@ set skip_test(test-rm_nested) [expr [have_spec linux]]
set skip_test(test-slab) [expr ![interactive] && [have_include "power_on/qemu"]]
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-tcp_bulk_lwip) [expr ![have_spec x86] && ![have_include "power_on/qemu"]]
set skip_test(test-tcp_bulk_lxip) [expr ![have_spec x86] && ![have_include "power_on/qemu"]]
set skip_test(test-rust) [expr [have_spec arm_v8a]]
#

3
repos/libports/recipes/pkg/test-tcp_bulk_lwip/runtime
View File

@ -22,9 +22,6 @@
<config verbose="yes">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>