From 9f2bec52d519ba1e8f3a5bb1496fcec4a0903128 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Fri, 17 Nov 2017 14:51:42 +0100
Subject: [PATCH] drivers.config: accommodate intel_fb_drv CAP quota

---
 repos/gems/recipes/raw/drivers_managed-pc/drivers.config | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/gems/recipes/raw/drivers_managed-pc/drivers.config b/repos/gems/recipes/raw/drivers_managed-pc/drivers.config
index 2cfa123512..395e71a9fd 100644
--- a/repos/gems/recipes/raw/drivers_managed-pc/drivers.config
+++ b/repos/gems/recipes/raw/drivers_managed-pc/drivers.config
@@ -104,7 +104,7 @@
 		</route>
 	</start>
 
-	<start name="platform_drv" caps="1000">
+	<start name="platform_drv" caps="400">
 		<resource name="RAM" quantum="4M" constrain_phys="yes"/>
 		<provides>
 			<service name="Platform"/>
@@ -232,7 +232,7 @@
 		</route>
 	</start>
 
-	<start name="dynamic" caps="1000" priority="0">
+	<start name="dynamic" caps="1400" priority="0">
 		<binary name="init"/>
 		<resource name="RAM" quantum="1G"/>
 		<provides>