From 8faa916d930582f687faaec44f3fb0863c4cefe4 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 25 Feb 2020 18:00:03 +0100
Subject: [PATCH] gdb_monitor.run: increase RAM quota

Fixes #3667
---
 repos/ports/run/gdb_monitor.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run
index 25ef558cc..a0a88e775 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="8M"/>
+		<resource name="RAM" quantum="9M"/>
 		<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="4M"/>
+			<preserve name="RAM" quantum="5M"/>
 			<vfs> <dir name="dev"> <log/> <terminal/> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log"/>
 		</config>