From 15a69113fa658fd4b8afd24bf9e3dd1dfb357d22 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 14 Aug 2024 11:10:29 +0200
Subject: [PATCH] run/gdb: increase RAM quota to 42M

Investigated in #5305
---
 repos/ports/run/gdb.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/gdb.inc b/repos/ports/run/gdb.inc
index 37e3148aa9..0040a1687c 100644
--- a/repos/ports/run/gdb.inc
+++ b/repos/ports/run/gdb.inc
@@ -303,7 +303,7 @@ append config {
 
 	<start name="gdb" caps="300">
 		<binary name="/bin/} [gdb_prefix] {gdb"/>
-		<resource name="RAM" quantum="40M"/>
+		<resource name="RAM" quantum="42M"/>
 		<config ld_verbose="yes">
 			<vfs>
 				<dir name="dev">