From 8ab8e65fb5e113f307359a2d6782edf3d0477574 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 16 Mar 2017 15:02:09 +0100
Subject: [PATCH] input_filter.run: avoid runtime resource request

This is a follow-up to "init: explicit response to resource requests".
---
 repos/os/run/input_filter.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/input_filter.run b/repos/os/run/input_filter.run
index 3730f6f62e..b96db195d6 100644
--- a/repos/os/run/input_filter.run
+++ b/repos/os/run/input_filter.run
@@ -60,7 +60,7 @@ append config {
 	</start>
 
 	<start name="input_filter" priority="-1">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<provides> <service name="Input"/> </provides>
 		<configfile name="input_filter.config"/>
 		<route>