diff --git a/repos/os/run/nic_router_flood.run b/repos/os/run/nic_router_flood.run index d3cbc10e1..eb39a512f 100644 --- a/repos/os/run/nic_router_flood.run +++ b/repos/os/run/nic_router_flood.run @@ -6,6 +6,15 @@ if {![have_include power_on/qemu] || exit 0 } +proc test_timeout { } { + if {[have_spec sel4] && [have_spec x86]} { + return 240 + } + if {[have_spec okl4] || [have_spec pistachio]} { + return 240 + } + return 120 +} proc good_dst_ip { } { return "10.0.2.2" } proc bad_dst_ip { } { return "10.0.0.123" } @@ -152,4 +161,4 @@ append qemu_args " -nographic " append qemu_args " -netdev user,id=net0 " append qemu_args " -net nic,model=[qemu_nic_model],netdev=net0 " -run_genode_until {.*ping\] 64 bytes from 10\.0\.2\.2: icmp_seq=30 .*\n} 120 \ No newline at end of file +run_genode_until {.*ping\] 64 bytes from 10\.0\.2\.2: icmp_seq=30 .*\n} [test_timeout]