From fff80bfe6c16420bdfc48b991165436c2fc9ca8b Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 12 Oct 2018 16:57:56 +0200
Subject: [PATCH] run/terminal_crosslink: fix cap quota

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

diff --git a/repos/os/run/terminal_crosslink.run b/repos/os/run/terminal_crosslink.run
index ff2e232b1a..74b123dba1 100644
--- a/repos/os/run/terminal_crosslink.run
+++ b/repos/os/run/terminal_crosslink.run
@@ -34,6 +34,7 @@ append config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="200"/>
 	<start name="timer">
 		<resource name="RAM" quantum="512K"/>
 		<provides> <service name="Timer"/> </provides>