From 2b1732bdec2ea0d8e4294126ce632ea997a35cf7 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 8 Feb 2019 15:09:00 +0100
Subject: [PATCH] Adapt usb_drv RAM quota to 12M

All autopilot scripts use 12 or more MiB for the usb_drv and my personal
tests never succeeded with less on x86 test machines.
---
 repos/dde_linux/README                      | 10 +++++-----
 repos/dde_linux/run/usb_hid.run             |  2 +-
 repos/dde_linux/run/usb_hid_reconnect.run   |  2 +-
 repos/dde_linux/run/usb_net.run             |  2 +-
 repos/dde_linux/src/drivers/usb_host/README |  2 +-
 repos/os/run/usb_block.run                  |  2 +-
 repos/os/src/drivers/usb_block/README       |  2 +-
 repos/ports/run/seoul.inc                   |  2 +-
 repos/ports/run/virtualbox.run              |  2 +-
 9 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/repos/dde_linux/README b/repos/dde_linux/README
index a8f8a2ace..c2cc9ebc4 100644
--- a/repos/dde_linux/README
+++ b/repos/dde_linux/README
@@ -38,7 +38,7 @@ Supports keyboard and mouse. A run script can be found under 'run/usb_hid.run'.
 Configuration snippet:
 
 !<start name="usb_drv">
-!  <resource name="RAM" quantum="3M"/>
+!  <resource name="RAM" quantum="12M"/>
 !  <provides><service name="Input"/></provides>
 !  <config uhci="yes" ohci="yes" ehci="yes" xhci="yes">
 !    <hid/>
@@ -77,7 +77,7 @@ run script can be found under 'run/usb_storage.run'.
 Configuration snippet:
 
 !<start name="usb_drv">
-!  <resource name="RAM" quantum="2M"/>
+!  <resource name="RAM" quantum="12M"/>
 !  <provides> <service name="Block"/> </provides>
 !  <config><storage /></config>
 !</start>
@@ -89,7 +89,7 @@ Network (Nic)
 Configuration snippet:
 
 !<start name="usb_drv">
-!  <resource name="RAM" quantum="3M"/>
+!  <resource name="RAM" quantum="12M"/>
 !  <provides>
 !    <service name="Nic"/>
 !    <service name="Input"/>
@@ -117,7 +117,7 @@ Allows raw access to USB devices via the 'Usb' session interface.
 Configuration snippet:
 
 !<start name="usb_drv">
-!  <resource name="RAM" quantum="8M"/>
+!  <resource name="RAM" quantum="12M"/>
 !  <provides><service name="Usb"/></provides>
 !  <config uhci="yes" ohci="yes" ehci="yes" xhci="yes">
 !    <raw>
@@ -148,7 +148,7 @@ can be accessed by a client. The following configuration allows 'comp1' to
 access the device 'usb-1-6':
 
 !<start name="usb_drv">
-!  <resource name="RAM" quantum="8M"/>
+!  <resource name="RAM" quantum="12M"/>
 !  <provides><service name="Usb"/></provides>
 !  <config uhci="yes" ohci="yes" ehci="yes" xhci="yes">
 !    <raw>
diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run
index 97638ab55..71f150975 100644
--- a/repos/dde_linux/run/usb_hid.run
+++ b/repos/dde_linux/run/usb_hid.run
@@ -131,7 +131,7 @@ append config {
 	<start name="usb_drv" caps="150"> }
 append config "<binary name=\"[usb_host_drv_binary]\"/>"
 append config {
-		<resource name="RAM" quantum="11M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides> <service name="Usb"/> </provides>
 		<config bios_handoff="yes">
 			<report devices="yes"/>
diff --git a/repos/dde_linux/run/usb_hid_reconnect.run b/repos/dde_linux/run/usb_hid_reconnect.run
index 59ff18a20..71c4e564c 100644
--- a/repos/dde_linux/run/usb_hid_reconnect.run
+++ b/repos/dde_linux/run/usb_hid_reconnect.run
@@ -79,7 +79,7 @@ append config {
 	</start>
 
 	<start name="usb_drv" caps="120">
-		<resource name="RAM" quantum="10M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides><service name="Input"/></provides>
 		<config uhci="no" ohci="no" ehci="no" xhci="yes"
 		        capslock_led="rom" numlock_led="rom" scrlock_led="rom"
diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run
index 107e8c508..efda07ef7 100644
--- a/repos/dde_linux/run/usb_net.run
+++ b/repos/dde_linux/run/usb_net.run
@@ -71,7 +71,7 @@ append config {
 	<start name="usb_drv" caps="120"> }
 append config "<binary name=\"[usb_host_drv_binary]\"/>"
 append config {
-		<resource name="RAM" quantum="10M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides> <service name="Usb"/> </provides>
 		<config bios_handoff="yes">}
 append_if [have_spec arndale] config {
diff --git a/repos/dde_linux/src/drivers/usb_host/README b/repos/dde_linux/src/drivers/usb_host/README
index ef2f4ddcb..fa734606f 100644
--- a/repos/dde_linux/src/drivers/usb_host/README
+++ b/repos/dde_linux/src/drivers/usb_host/README
@@ -29,7 +29,7 @@ can be accessed by a client. The following configuration allows 'comp1' to
 access the device 'usb-1-6':
 
 !<start name="usb_drv">
-!  <resource name="RAM" quantum="8M"/>
+!  <resource name="RAM" quantum="12M"/>
 !  <provides><service name="Usb"/></provides>
 !  <config uhci="yes" ohci="yes" ehci="yes" xhci="yes">
 !    <raw>
diff --git a/repos/os/run/usb_block.run b/repos/os/run/usb_block.run
index 3f2f680ff..14eb7d069 100644
--- a/repos/os/run/usb_block.run
+++ b/repos/os/run/usb_block.run
@@ -72,7 +72,7 @@ append config {
 	<start name="usb_drv" caps="120"> }
 append config "<binary name=\"[usb_host_drv_binary]\"/>"
 append config {
-		<resource name="RAM" quantum="10M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides> <service name="Usb"/> </provides>
 		<config>
 			<report devices="no"/>}
diff --git a/repos/os/src/drivers/usb_block/README b/repos/os/src/drivers/usb_block/README
index e886ba609..fa2e39b2b 100644
--- a/repos/os/src/drivers/usb_block/README
+++ b/repos/os/src/drivers/usb_block/README
@@ -27,7 +27,7 @@ connection. A matching policy has to be configured at the USB host controller
 driver:
 
 !<start name="usb_drv">
-!  <resource name="RAM" quantum="8M"/>
+!  <resource name="RAM" quantum="12M"/>
 !  <provides><service name="Usb"/></provides>
 !  <config uhci="yes" ehci="yes" xhci="yes">
 !    <raw>
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 609c5fcfc..0919b73f0 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -277,7 +277,7 @@ append config {
 
 append_if $use_usb config {
 	<start name="usb_drv" priority="-1" caps="120">
-		<resource name="RAM" quantum="7M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides><service name="Input"/></provides>
 		<config uhci="yes" ehci="yes" xhci="yes">
 			<hid/>
diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run
index ce89cbcd8..ae0970bd2 100644
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@@ -86,7 +86,7 @@ append_if [expr $use_ps2] config {
 
 append_if [expr $use_usb] config {
 	<start name="usb_drv" priority="-1" caps="120">
-		<resource name="RAM" quantum="7M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides><service name="Input"/></provides>}
 
 append_if [expr $use_usb && ![have_spec muen]] config {