From cfe6e0f15bf4474771f6930aaedaef1e62af8cec Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 2 May 2018 12:13:36 +0200
Subject: [PATCH] drivers_interactive-pc: increase caps for acpi

This is needed to use the pkg on a Thinkpad x250.
---
 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 2e4ed24570..d311ec8bce 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -20,7 +20,7 @@
 	<service name="Input">
 		<default-policy> <child name="input_filter"/> </default-policy> </service>
 
-	<start name="acpi_drv" caps="110">
+	<start name="acpi_drv" caps="300">
 		<resource name="RAM" quantum="2M"/>
 		<route>
 			<service name="IO_MEM"> <parent/> </service>