From 67fdc1b44b850874e685093bdb257759def006a9 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 8 Aug 2012 12:27:02 +0200
Subject: [PATCH] Increase quota of USB driver

The additional quota is needed because of the recent performance
optimizations of the USB/networking code, e.g., to support the
increased NIC packet-stream buffer size.
---
 ports-foc/run/linux_panda.run     | 2 +-
 ports-foc/run/multi_linux.run     | 2 +-
 ports-foc/run/two_linux_panda.run | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ports-foc/run/linux_panda.run b/ports-foc/run/linux_panda.run
index fd279ca44..3ac01b51e 100644
--- a/ports-foc/run/linux_panda.run
+++ b/ports-foc/run/linux_panda.run
@@ -53,7 +53,7 @@ set config  {
 		<provides><service name="Block"/></provides>
 	</start>
 	<start name="usb_drv" priority="-1">
-		<resource name="RAM" quantum="4M"/>
+		<resource name="RAM" quantum="6M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic"/>
diff --git a/ports-foc/run/multi_linux.run b/ports-foc/run/multi_linux.run
index 28be77bcc..01f3197f8 100644
--- a/ports-foc/run/multi_linux.run
+++ b/ports-foc/run/multi_linux.run
@@ -84,7 +84,7 @@ append_if [have_spec ps2] config {
 append_if [expr ![have_spec ps2] && [have_spec usb]] config {
 	<start name="input_drv">
 		<binary name="usb_drv"/>
-		<resource name="RAM" quantum="4M"/>
+		<resource name="RAM" quantum="6M"/>
 		<provides> <service name="Input"/> </provides>
 		<config> <hid/> </config>
 	</start> }
diff --git a/ports-foc/run/two_linux_panda.run b/ports-foc/run/two_linux_panda.run
index b86289758..d9f72e351 100644
--- a/ports-foc/run/two_linux_panda.run
+++ b/ports-foc/run/two_linux_panda.run
@@ -59,7 +59,7 @@ set config  {
 		<provides><service name="Block"/></provides>
 	</start>
 	<start name="usb_drv">
-		<resource name="RAM" quantum="4M"/>
+		<resource name="RAM" quantum="6M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic"/>