From 3e406a107713f843ed998b97018520efb3b29a7a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 17 Sep 2012 16:01:07 +0200
Subject: [PATCH] Increase quota of USB driver

The memory allocation heuristics in the usb driver provided by dde_linux
changed with the recent commit 71b2b42936df049ae0e80e7650774ad23275d635.
Apparently, the new variant requires a larger memory pool. Increasing
the quota is a temporary fix until the memory allocator gets revisited.
---
 dde_linux/run/linux_nic_panda.run | 2 +-
 os/run/demo.run                   | 2 +-
 ports-foc/run/linux_panda.run     | 2 +-
 ports-foc/run/multi_linux.run     | 2 +-
 ports-foc/run/two_linux.run       | 2 +-
 ports-foc/run/two_linux_panda.run | 2 +-
 ports/run/genode_org.run          | 2 +-
 qt4/run/textedit.run              | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/dde_linux/run/linux_nic_panda.run b/dde_linux/run/linux_nic_panda.run
index 867987c35..8895130e6 100644
--- a/dde_linux/run/linux_nic_panda.run
+++ b/dde_linux/run/linux_nic_panda.run
@@ -53,7 +53,7 @@ set config  {
 		<provides><service name="Block"/></provides>
 	</start>
 	<start name="usb_drv">
-		<resource name="RAM" quantum="6M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic"/>
diff --git a/os/run/demo.run b/os/run/demo.run
index 7ba13ec89..9f04a9584 100644
--- a/os/run/demo.run
+++ b/os/run/demo.run
@@ -80,7 +80,7 @@ append_if [have_spec ps2] config {
 
 append_if [expr ![have_spec ps2] && [have_spec usb]] config {
 	<start name="usb_drv">
-		<resource name="RAM" quantum="6M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides><service name="Input"/></provides>
 		<config> <hid/> </config>
 	</start> }
diff --git a/ports-foc/run/linux_panda.run b/ports-foc/run/linux_panda.run
index 3ac01b51e..91213b0cd 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="6M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic"/>
diff --git a/ports-foc/run/multi_linux.run b/ports-foc/run/multi_linux.run
index 01f3197f8..fec2842fa 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="6M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides> <service name="Input"/> </provides>
 		<config> <hid/> </config>
 	</start> }
diff --git a/ports-foc/run/two_linux.run b/ports-foc/run/two_linux.run
index 6df2a9893..e8dabb819 100644
--- a/ports-foc/run/two_linux.run
+++ b/ports-foc/run/two_linux.run
@@ -88,7 +88,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="12M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic" />
diff --git a/ports-foc/run/two_linux_panda.run b/ports-foc/run/two_linux_panda.run
index d9f72e351..bb4a45c04 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="6M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic"/>
diff --git a/ports/run/genode_org.run b/ports/run/genode_org.run
index 436fad75c..209d3d7fb 100644
--- a/ports/run/genode_org.run
+++ b/ports/run/genode_org.run
@@ -53,7 +53,7 @@ append_if [have_spec pci] config {
 
 append_if [have_spec omap4] config {
 	<start name="usb_drv" priority="-1">
-		<resource name="RAM" quantum="6M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic"/>
diff --git a/qt4/run/textedit.run b/qt4/run/textedit.run
index 83f942460..8a12afa5a 100644
--- a/qt4/run/textedit.run
+++ b/qt4/run/textedit.run
@@ -82,7 +82,7 @@ append_if [have_spec omap4] config {
 
 append_if [expr ![have_spec ps2] && [have_spec usb]] config {
 	<start name="usb_drv">
-		<resource name="RAM" quantum="3M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides><service name="Input"/></provides>
 		<config> <hid/> </config>
 	</start>}