From 30780a1127ee2820c2f84fab565404482095682b Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 7 Nov 2016 13:32:45 +0100
Subject: [PATCH] sel4: adjust nic_drv quota in noux_net_netcat

---
 repos/ports/run/noux_net_netcat.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run
index e5fadffc93..31badaaee4 100644
--- a/repos/ports/run/noux_net_netcat.run
+++ b/repos/ports/run/noux_net_netcat.run
@@ -104,7 +104,7 @@ append config {
 
 append_if $use_nic_driver config {
 	<start name="nic_drv">
-		<resource name="RAM" quantum="4M"/>
+		<resource name="RAM" quantum="5M"/>
 		<provides> <service name="Nic"/> </provides>
 	</start>}