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 ps2_drv caps

Browse Source 
This is needed because the added heartbeat monitoring.
This commit is contained in:
Norman Feske
2018-11-26 16:51:54 +01:00
committed by Christian Helmuth
parent af49ec7583
commit 98518e39cd
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

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