From a633b5e36e880285f71409f8ae719e90f0bb5b00 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 8 May 2019 15:49:13 +0200
Subject: [PATCH] drivers_interactive-pc: quotas (ps2_drv, input_filter)

---
 .../os/recipes/raw/drivers_interactive-pc/drivers.config  | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index 690c997074..88ec72ec6c 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -92,8 +92,8 @@
 		</route>
 	</start>
 
-	<start name="ps2_drv" caps="70">
-		<resource name="RAM" quantum="1M"/>
+	<start name="ps2_drv" caps="80">
+		<resource name="RAM" quantum="1280K"/>
 		<provides> <service name="Input"/> </provides>
 		<route>
 			<service name="Platform"> <child name="platform_drv"/> </service>
@@ -120,8 +120,8 @@
 		</route>
 	</start>
 
-	<start name="input_filter" caps="80">
-		<resource name="RAM" quantum="1M"/>
+	<start name="input_filter" caps="90">
+		<resource name="RAM" quantum="1280K"/>
 		<provides> <service name="Input"/> </provides>
 		<route>
 			<service name="ROM" label="config"> <parent label="input_filter.config"/> </service>