From 90e6cef49b357b8dda6571e16acff9a983f0aa20 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 11 Mar 2013 12:36:15 +0100
Subject: [PATCH] gdb_monitor: increase RAM quotas in run scripts

Fixes #685.
---
 ports/run/gdb_monitor.run               | 2 +-
 ports/run/gdb_monitor_interactive.run   | 2 +-
 ports/run/gdb_monitor_target_config.run | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/ports/run/gdb_monitor.run b/ports/run/gdb_monitor.run
index 5631e8255..f2256f57e 100644
--- a/ports/run/gdb_monitor.run
+++ b/ports/run/gdb_monitor.run
@@ -51,7 +51,7 @@ set config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 	<start name="timer">
-		<resource name="RAM" quantum="512K"/>
+		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="uart_drv">
diff --git a/ports/run/gdb_monitor_interactive.run b/ports/run/gdb_monitor_interactive.run
index b400a6f64..d84db0ad3 100644
--- a/ports/run/gdb_monitor_interactive.run
+++ b/ports/run/gdb_monitor_interactive.run
@@ -41,7 +41,7 @@ set config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 	<start name="timer">
-		<resource name="RAM" quantum="512K"/>
+		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="uart_drv">
diff --git a/ports/run/gdb_monitor_target_config.run b/ports/run/gdb_monitor_target_config.run
index 75ac1e2a6..5f03c30af 100644
--- a/ports/run/gdb_monitor_target_config.run
+++ b/ports/run/gdb_monitor_target_config.run
@@ -40,7 +40,7 @@ set config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 	<start name="timer">
-		<resource name="RAM" quantum="512K"/>
+		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="uart_drv">
@@ -58,7 +58,7 @@ set config {
 					<test_config_subnode/>
 				</config>
 			</target>
-			<preserve name="RAM" quantum="2M"/>
+			<preserve name="RAM" quantum="3M"/>
 		</config>
 	</start>
 </config>