From 0434cb6fd6083698258adc46753656739d7afbf8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 18 Aug 2020 16:51:28 +0200
Subject: [PATCH] gdb_monitor.run: cap-quota adjustment

---
 repos/ports/run/gdb_monitor.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run
index 2e696886a2..19163f8599 100644
--- a/repos/ports/run/gdb_monitor.run
+++ b/repos/ports/run/gdb_monitor.run
@@ -66,7 +66,7 @@ set config {
 			<policy label_prefix="gdb_monitor" uart="1"/>
 		</config>
 	</start>
-	<start name="gdb_monitor" caps="200">
+	<start name="gdb_monitor" caps="1000">
 		<resource name="RAM" quantum="9M"/>
 		<config>
 			<target name="test-gdb_monitor">