From 2fb0bfdf85054795557fafc3a096870b9545747c Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 3 Jul 2023 14:55:03 +0200
Subject: [PATCH] drivers_nic-pc: raise nic drv cap quota

The reason for this was that run/nic_router_disable_arp was failing on
sel4+qemu+x86_64.

Ref #4923
---
 repos/gems/recipes/raw/drivers_nic-pc/drivers.config | 2 +-
 repos/os/run/nic_router_disable_arp.run              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/gems/recipes/raw/drivers_nic-pc/drivers.config b/repos/gems/recipes/raw/drivers_nic-pc/drivers.config
index 5196be292d..a3147991ea 100644
--- a/repos/gems/recipes/raw/drivers_nic-pc/drivers.config
+++ b/repos/gems/recipes/raw/drivers_nic-pc/drivers.config
@@ -103,7 +103,7 @@
 		</route>
 	</start>
 
-	<start name="nic_drv" caps="200">
+	<start name="nic_drv" caps="250">
 		<binary name="pc_nic_drv"/>
 		<resource name="RAM" quantum="10M"/>
 		<route>
diff --git a/repos/os/run/nic_router_disable_arp.run b/repos/os/run/nic_router_disable_arp.run
index 12ecf26fd3..828485188a 100644
--- a/repos/os/run/nic_router_disable_arp.run
+++ b/repos/os/run/nic_router_disable_arp.run
@@ -42,7 +42,7 @@ install_config {
 		<provides><service name="Timer"/></provides>
 	</start>
 
-	<start name="drivers" caps="1000" managing_system="yes">
+	<start name="drivers" caps="1100" managing_system="yes">
 		<resource name="RAM" quantum="32M"/>
 		<binary name="init"/>
 		<route>