ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 08:03:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nic_stress: further reduce nr of rounds on sel4

Browse Source 
Otherwise, the limit of caps in Capability_space_sel4 in the NIC router is
reached.

Fixes #3684
This commit is contained in:
Martin Stein 2020-03-09 14:47:45 +01:00 committed by Norman Feske
parent c1b6000248
commit f3185de7f5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/run/nic_stress.inc
View File

@ -32,8 +32,8 @@ proc done_string {} {
proc nr_of_rounds { test_id } {
if {[have_spec sel4]} {
switch $test_id {
1 { return 19 }
2 { return 12 }
1 { return 9 }
2 { return 7 }
}
} else {
switch $test_id {