From e3cba5dc6faa573bf3ff8a39ffe9b74496d43795 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 13 Nov 2012 14:38:39 +0100
Subject: [PATCH] GDB monitor: preserve more RAM quota

Fixes #484.
---
 ports/run/gdb_monitor.run             | 2 +-
 ports/run/gdb_monitor_interactive.run | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ports/run/gdb_monitor.run b/ports/run/gdb_monitor.run
index 8aff60483..5631e8255 100644
--- a/ports/run/gdb_monitor.run
+++ b/ports/run/gdb_monitor.run
@@ -65,7 +65,7 @@ set config {
 		<resource name="RAM" quantum="4M"/>
 		<config>
 			<target name="test-gdb_monitor"/>
-			<preserve name="RAM" quantum="2M"/>
+			<preserve name="RAM" quantum="3M"/>
 		</config>
 	</start>
 </config>
diff --git a/ports/run/gdb_monitor_interactive.run b/ports/run/gdb_monitor_interactive.run
index e367b746a..b400a6f64 100644
--- a/ports/run/gdb_monitor_interactive.run
+++ b/ports/run/gdb_monitor_interactive.run
@@ -55,7 +55,7 @@ set config {
 		<resource name="RAM" quantum="4M"/>
 		<config>
 			<target name="test-gdb_monitor"/>
-			<preserve name="RAM" quantum="2M"/>
+			<preserve name="RAM" quantum="3M"/>
 		</config>
 	</start>
 </config>