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>