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

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

diff --git a/repos/os/run/dynamic_config_slave.run b/repos/os/run/dynamic_config_slave.run
index 8215cf4ff4..403fba261b 100644
--- a/repos/os/run/dynamic_config_slave.run
+++ b/repos/os/run/dynamic_config_slave.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>