From 1e8689bafefe156429998c4f2f92ae982675c34c Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 31 May 2017 11:01:04 +0200
Subject: [PATCH] depot: adjust cap quotas in drivers_interactive_pc

---
 repos/os/recipes/raw/drivers_interactive-pc/drivers.config | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index ad3c69fba..d038b7791 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -75,7 +75,7 @@
 		</config>
 	</start>
 
-	<start name="fb_drv">
+	<start name="fb_drv" caps="100">
 		<resource name="RAM" quantum="4M"/>
 		<provides><service name="Framebuffer"/></provides>
 		<route>
@@ -103,7 +103,7 @@
 		</route>
 	</start>
 
-	<start name="usb_drv">
+	<start name="usb_drv" caps="100">
 		<resource name="RAM" quantum="14M"/>
 		<provides> <service name="Input"/> </provides>
 		<config uhci="yes" ehci="yes" xhci="yes"> <hid/> </config>
@@ -118,7 +118,7 @@
 		</route>
 	</start>
 
-	<start name="input_filter">
+	<start name="input_filter" caps="80">
 		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Input"/> </provides>
 		<route>