alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

input_filter.run: avoid runtime resource request

Browse Source 
This is a follow-up to "init: explicit response to resource requests".
This commit is contained in:
Norman Feske
2017-03-16 15:02:09 +01:00
committed by Christian Helmuth
parent a19662abc7
commit 8ab8e65fb5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/run/input_filter.run
View File

@@ -60,7 +60,7 @@ append config {
</start>
<start name="input_filter" priority="-1">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Input"/> </provides>
<configfile name="input_filter.config"/>
<route>