From 11a4e7888dfe6845d8f9e2705389129c22f45343 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 5 Jul 2016 12:29:31 +0200
Subject: [PATCH] noux_net_netcat.run: increase usb_drv quota

Use quota large enough so that the USB driver does not attempt to
request further memory. On the Raspberry Pi, init has no slack memory
to respond to such a request.
---
 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 335e530a9c..86f1bdaeb0 100644
--- a/repos/ports/run/noux_net_netcat.run
+++ b/repos/ports/run/noux_net_netcat.run
@@ -117,7 +117,7 @@ append_if [have_spec gpio] config {
 
 append_if $use_usb_driver config {
 	<start name="usb_drv">
-		<resource name="RAM" quantum="12M"/>
+		<resource name="RAM" quantum="14M"/>
 		<provides>
 			<service name="Nic"/>
 			<service name="Input"/>