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

run/dynamic_config_loader: fix cap quota

Browse Source
This commit is contained in:
Martin Stein 2018-10-10 13:03:02 +02:00 committed by Christian Helmuth
parent 99d9830968
commit 0b3351991a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/os/run/dynamic_config_loader.run
View File

@ -16,6 +16,7 @@ install_config {
<default-route> <default-route>
<any-service> <parent/> <any-child/> </any-service> <any-service> <parent/> <any-child/> </any-service>
</default-route> </default-route>
<default caps="200"/>
<start name="timer"> <start name="timer">
<resource name="RAM" quantum="1M"/> <resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides> <provides><service name="Timer"/></provides>