From b587134a8d907ce5ff26c3b229b97a1f48fd2d00 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 18 Jul 2023 10:17:49 +0200
Subject: [PATCH] net tests: raise nic_drv/drivers cap quota

Several nightly network-related tests fail currently on sel4/pc because the
new e1000 NIC driver requires more capabilities. The "drivers nic" package
was already adapted to the new requirement but some tests fail to provide
enough caps to the corresponding sub system. This commit tries to fix all
remaining tests.

Ref #4923
---
 repos/dde_linux/run/nic_router_uplinks.run | 2 +-
 repos/gems/run/depot_download.run          | 2 +-
 repos/libports/run/fetchurl.inc            | 2 +-
 repos/libports/run/lwip.run                | 2 +-
 repos/libports/run/sntp_client.run         | 2 +-
 repos/os/run/ping_nic_router.run           | 2 +-
 repos/ports/run/netperf.inc                | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/repos/dde_linux/run/nic_router_uplinks.run b/repos/dde_linux/run/nic_router_uplinks.run
index c4f9d53ed2..0fe0a0d18f 100644
--- a/repos/dde_linux/run/nic_router_uplinks.run
+++ b/repos/dde_linux/run/nic_router_uplinks.run
@@ -101,7 +101,7 @@ install_config {
 		</provides>
 	</start>
 
-	<start name="nic_drv" priority="-1" caps="120">
+	<start name="nic_drv" priority="-1" caps="250">
 		<binary name="pc_nic_drv"/>
 		<resource name="RAM" quantum="8M"/>
 		<route>
diff --git a/repos/gems/run/depot_download.run b/repos/gems/run/depot_download.run
index 56e7aa5bc4..435ea954f1 100644
--- a/repos/gems/run/depot_download.run
+++ b/repos/gems/run/depot_download.run
@@ -61,7 +61,7 @@ append config {
 		<provides> <service name="Timer"/> </provides>
 	</start>
 
-	<start name="drivers" caps="1000" managing_system="yes">
+	<start name="drivers" caps="1200" managing_system="yes">
 		<resource name="RAM" quantum="32M"/>
 		<binary name="init"/>
 		<route>
diff --git a/repos/libports/run/fetchurl.inc b/repos/libports/run/fetchurl.inc
index c81d851462..c4c819f5c4 100644
--- a/repos/libports/run/fetchurl.inc
+++ b/repos/libports/run/fetchurl.inc
@@ -78,7 +78,7 @@ install_config {
 		<provides> <service name="Timer"/> </provides>
 	</start>
 
-	<start name="drivers" caps="1000" managing_system="yes">
+	<start name="drivers" caps="1200" managing_system="yes">
 		<resource name="RAM" quantum="32M"/>
 		<binary name="init"/>
 		<route>
diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run
index 5309c1bb82..adc2eabd9b 100644
--- a/repos/libports/run/lwip.run
+++ b/repos/libports/run/lwip.run
@@ -61,7 +61,7 @@ install_config {
 		<provides> <service name="Timer"/> </provides>
 	</start>
 
-	<start name="drivers" caps="1000" managing_system="yes" priority="-1">
+	<start name="drivers" caps="1200" managing_system="yes" priority="-1">
 		<resource name="RAM" quantum="32M"/>
 		<binary name="init"/>
 		<route>
diff --git a/repos/libports/run/sntp_client.run b/repos/libports/run/sntp_client.run
index ec86501fce..c4e25402e0 100644
--- a/repos/libports/run/sntp_client.run
+++ b/repos/libports/run/sntp_client.run
@@ -50,7 +50,7 @@ append config {
 		<provides><service name="Timer"/></provides>
 	</start>
 
-	<start name="drivers" caps="1000" managing_system="yes">
+	<start name="drivers" caps="1200" managing_system="yes">
 		<resource name="RAM" quantum="32M"/>
 		<binary name="init"/>
 		<route>
diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run
index 28d421d552..8c9b22e600 100644
--- a/repos/os/run/ping_nic_router.run
+++ b/repos/os/run/ping_nic_router.run
@@ -53,7 +53,7 @@ append config {
 		<provides><service name="Timer"/></provides>
 	</start>
 
-	<start name="drivers" caps="1000" managing_system="yes">
+	<start name="drivers" caps="1200" managing_system="yes">
 		<resource name="RAM" quantum="32M"/>
 		<binary name="init"/>
 		<route>
diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index 8696db4b14..51935fb7aa 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -320,7 +320,7 @@ append  config { </wifi_config>
 
 	append config {
 
-	<start name="nic_drv" caps="1000" managing_system="yes">
+	<start name="nic_drv" caps="1200" managing_system="yes">
 		<resource name="RAM" quantum="32M"/>
 		<binary name="init"/>
 		<route>