From ce75b25fd44eb60d1f2608cb9bfd73346fb765a3 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 29 Apr 2021 16:42:39 +0200
Subject: [PATCH] ssh_exec_channel: adjust cap quota for seL4

Issue #4095
---
 repos/gems/run/ssh_exec_channel.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/ssh_exec_channel.run b/repos/gems/run/ssh_exec_channel.run
index 8f50aa60e2..349ee8aedf 100644
--- a/repos/gems/run/ssh_exec_channel.run
+++ b/repos/gems/run/ssh_exec_channel.run
@@ -72,7 +72,7 @@ set config {
 		</route>
 	</start>
 
-	<start name="nic_drv">
+	<start name="nic_drv" caps="120">
 		<binary name="ipxe_nic_drv"/>
 		<resource name="RAM" quantum="8M"/>
 		<config mode="uplink_client"/>