From f30c49c0c3b60edc1a09bc6b0c3f0f87c54ca43b Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 12 Jul 2023 10:20:44 +0200
Subject: [PATCH] ping.run: raise drivers cap quota

Otherwise, at least on sel4+x86_64+qemu, the nic driver ends up in a resource
request.

Ref #4931
---
 repos/os/run/ping.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run
index 6960021972..8274667e7b 100644
--- a/repos/os/run/ping.run
+++ b/repos/os/run/ping.run
@@ -113,7 +113,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>