From e6a638e78c5795953691d8ba0bd1564d0f45cba1 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 27 Nov 2017 13:20:11 +0100
Subject: [PATCH] gdb_monitor: increase RAM quota in run scripts

---
 repos/ports/run/gdb_monitor.run             | 4 ++--
 repos/ports/run/gdb_monitor_interactive.run | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run
index defd62a6c7..3066786dd6 100644
--- a/repos/ports/run/gdb_monitor.run
+++ b/repos/ports/run/gdb_monitor.run
@@ -66,7 +66,7 @@ set config {
 		</config>
 	</start>
 	<start name="gdb_monitor" caps="200">
-		<resource name="RAM" quantum="7M"/>
+		<resource name="RAM" quantum="8M"/>
 		<config>
 			<target name="test-gdb_monitor">
 				<config>
@@ -74,7 +74,7 @@ set config {
 					<libc stdout="/dev/log" stderr="/dev/log"/>
 				</config>
 			</target>
-			<preserve name="RAM" quantum="3M"/>
+			<preserve name="RAM" quantum="4M"/>
 			<vfs> <dir name="dev"> <log/> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log"/>
 		</config>
diff --git a/repos/ports/run/gdb_monitor_interactive.run b/repos/ports/run/gdb_monitor_interactive.run
index cb397349a7..bfeff4dccb 100644
--- a/repos/ports/run/gdb_monitor_interactive.run
+++ b/repos/ports/run/gdb_monitor_interactive.run
@@ -54,7 +54,7 @@ set config {
 		</config>
 	</start>
 	<start name="gdb_monitor" caps="200">
-		<resource name="RAM" quantum="7M"/>
+		<resource name="RAM" quantum="8M"/>
 		<config>
 			<target name="test-gdb_monitor">
 				<config>
@@ -62,7 +62,7 @@ set config {
 					<libc stdout="/dev/log" stderr="/dev/log"/>
 				</config>
 			</target>
-			<preserve name="RAM" quantum="3M"/>
+			<preserve name="RAM" quantum="4M"/>
 			<vfs> <dir name="dev"> <log/> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log"/>
 		</config>