From 0b3351991abc2b4c0b78bcb7a5be7b949e61a912 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 10 Oct 2018 13:03:02 +0200
Subject: [PATCH] run/dynamic_config_loader: fix cap quota

---
 repos/os/run/dynamic_config_loader.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/run/dynamic_config_loader.run b/repos/os/run/dynamic_config_loader.run
index 1f78749e6..4b5f0a1ce 100644
--- a/repos/os/run/dynamic_config_loader.run
+++ b/repos/os/run/dynamic_config_loader.run
@@ -16,6 +16,7 @@ install_config {
 		<default-route>
 			<any-service> <parent/> <any-child/> </any-service>
 		</default-route>
+		<default caps="200"/>
 		<start name="timer">
 			<resource name="RAM" quantum="1M"/>
 			<provides><service name="Timer"/></provides>