From 46ca576eacba6623dab72bdc07973e43eacf1bc7 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 15 Apr 2021 12:08:54 +0200
Subject: [PATCH] Adjust gcov cap quota for seL4

---
 repos/libports/recipes/pkg/gcov/runtime | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/recipes/pkg/gcov/runtime b/repos/libports/recipes/pkg/gcov/runtime
index 8a2bb2d798..378eec3ffc 100644
--- a/repos/libports/recipes/pkg/gcov/runtime
+++ b/repos/libports/recipes/pkg/gcov/runtime
@@ -29,7 +29,7 @@
 		<default-route>
 			<any-service> <parent/> </any-service>
 		</default-route>
-		<default caps="150"/>
+		<default caps="175"/>
 		<start name="gcov">
 			<resource name="RAM" quantum="10M"/>
 			<config>