From 64a9a53c980b300b44252dcc9461c152e44f854a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 29 Dec 2013 01:03:17 +0100
Subject: [PATCH] terminal_echo.run: Adjust timer quota

---
 gems/run/terminal_echo.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gems/run/terminal_echo.run b/gems/run/terminal_echo.run
index 72fcab9470..9ed58c3eb5 100644
--- a/gems/run/terminal_echo.run
+++ b/gems/run/terminal_echo.run
@@ -55,7 +55,7 @@ append_if [have_spec ps2] config {
 
 append config {
 		<start name="timer">
-			<resource name="RAM" quantum="512K"/>
+			<resource name="RAM" quantum="1M"/>
 			<provides><service name="Timer"/></provides>
 		</start>
 		<start name="terminal">