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

nic_router.run: fix resource requests 

Raise cap quotas.

Issue #2972
This commit is contained in:
Martin Stein 2018-09-10 14:21:41 +02:00 committed by Christian Helmuth
parent 98380cebda
commit abe1b98486
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/libports/run/nic_router.run
View File

@ -258,7 +258,7 @@ append config {
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<default caps="200"/>
} [platform_drv_config] {
@ -273,7 +273,7 @@ append config {
<provides> <service name="Nic"/> </provides>
</start>
<start name="nic_router" caps="200" priority="-1">
<start name="nic_router" caps="400" priority="-1">
<resource name="RAM" quantum="10M"/>
<provides><service name="Nic"/></provides>
<config verbose="no"