From 82aa092dac2433a9ed296b7b252d01bdcdaaf515 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 18 Mar 2013 16:07:29 +0100
Subject: [PATCH] terminal_mux: increase RAM quota in run script

Fixes #694.
---
 gems/run/terminal_mux.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gems/run/terminal_mux.run b/gems/run/terminal_mux.run
index 844a75dcaa..da60073098 100644
--- a/gems/run/terminal_mux.run
+++ b/gems/run/terminal_mux.run
@@ -46,7 +46,7 @@ append config {
 			<route> <any-service> <parent/> </any-service> </route>
 		</start>
 		<start name="terminal_mux">
-			<resource name="RAM" quantum="2M"/>
+			<resource name="RAM" quantum="4M"/>
 			<provides>
 				<service name="Terminal"/>
 			</provides>