denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

drivers_interactive-pc: increase caps for acpi

Browse Source 
This is needed to use the pkg on a Thinkpad x250.
This commit is contained in:
Norman Feske
2018-05-02 12:13:36 +02:00
committed by Christian Helmuth
parent bf0ef1b8eb
commit cfe6e0f15b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/recipes/raw/drivers_interactive-pc/drivers.config
View File

@@ -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>