From 7bf74b4aac791f32cec0ea7ad3c547d558eaaa10 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 9 Mar 2020 14:47:45 +0100
Subject: [PATCH] nic_stress: further reduce nr of rounds on sel4

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

Fixes #3684
---
 repos/os/run/nic_stress.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/run/nic_stress.inc b/repos/os/run/nic_stress.inc
index fe47cbd38..5ab1c0eda 100644
--- a/repos/os/run/nic_stress.inc
+++ b/repos/os/run/nic_stress.inc
@@ -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 {