From 98518e39cd8b39efc18fcee63a4a79e602c30b2d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 26 Nov 2018 16:51:54 +0100
Subject: [PATCH] drivers_interactive-pc: increase ps2_drv caps

This is needed because the added heartbeat monitoring.
---
 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 4bee1045c1..760c2f1e49 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -91,7 +91,7 @@
 		</route>
 	</start>
 
-	<start name="ps2_drv">
+	<start name="ps2_drv" caps="70">
 		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Input"/> </provides>
 		<route>