From 5a067512425b7fc0dd00448b9e10e3d18d8a4ed8 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 3 Sep 2019 15:23:19 +0200
Subject: [PATCH] Increase input_filter RAM quotas to 1280K

Issue #3483
---
 repos/libports/run/qt5_drivers.inc                            | 2 +-
 repos/os/recipes/raw/drivers_interactive-linux/drivers.config | 2 +-
 repos/os/recipes/raw/drivers_interactive-muen/drivers.config  | 2 +-
 repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/repos/libports/run/qt5_drivers.inc b/repos/libports/run/qt5_drivers.inc
index 886b511d5..1cbe1a58e 100644
--- a/repos/libports/run/qt5_drivers.inc
+++ b/repos/libports/run/qt5_drivers.inc
@@ -248,7 +248,7 @@ proc drivers_start_nodes { feature_arg } {
 
 		append start_nodes {
 			<start name="input_filter">
-				<resource name="RAM" quantum="1M" />
+				<resource name="RAM" quantum="1280K" />
 				<provides> <service name="Input" /> </provides>
 				<config>}
 		append_if [use_ps2_drv feature] start_nodes {
diff --git a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
index 36676a10f..4e145a690 100644
--- a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
@@ -23,7 +23,7 @@
 	</start>
 
 	<start name="input_filter" caps="80">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="1280K"/>
 		<provides> <service name="Input"/> </provides>
 		<route>
 			<service name="ROM" label="config"> <parent label="input_filter.config"/> </service>
diff --git a/repos/os/recipes/raw/drivers_interactive-muen/drivers.config b/repos/os/recipes/raw/drivers_interactive-muen/drivers.config
index 8cc334f8b..e8deef8bc 100644
--- a/repos/os/recipes/raw/drivers_interactive-muen/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-muen/drivers.config
@@ -88,7 +88,7 @@
 	</start>
 
 	<start name="input_filter" caps="80">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="1280K"/>
 		<provides> <service name="Input"/> </provides>
 		<route>
 			<service name="ROM" label="config"> <parent label="input_filter.config"/> </service>
diff --git a/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config
index 00d124a41..a8b1683ca 100644
--- a/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config
@@ -33,7 +33,7 @@
 	</start>
 
 	<start name="input_filter" caps="80">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="1280K"/>
 		<provides> <service name="Input"/> </provides>
 		<route>
 			<service name="ROM" label="config"> <parent label="input_filter.config"/> </service>