From 67e33d39489a74ff80417496acda1dc2987bbf62 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 31 May 2017 16:14:07 +0200
Subject: [PATCH] depot: adjust cap quotas in drivers_interactive_pc (64-bit)

---
 repos/os/recipes/raw/drivers_interactive-pc/drivers.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index d038b7791..494539c48 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -50,7 +50,7 @@
 		</route>
 	</start>
 
-	<start name="platform_drv" caps="100">
+	<start name="platform_drv" caps="200">
 		<resource name="RAM" quantum="3M" constrain_phys="yes"/>
 		<provides>
 			<service name="Platform"/>