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

netperf: increase caps for sel4 x86_64

This commit is contained in:
Alexander Boettcher 2017-11-28 10:26:45 +01:00 committed by Christian Helmuth
parent 38abfc79f5
commit dbf7588a76
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/ports/run/netperf.inc
View File

@ -214,7 +214,7 @@ append_if $use_wifi_driver config {
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="wifi_drv" caps="220">
<start name="wifi_drv" caps="250">
<resource name="RAM" quantum="32M"/>
<provides> <service name="Nic"/> </provides>
<config>
@ -240,7 +240,7 @@ append_if $use_wifi_driver config {
append_platform_drv_config
append config {
<start name="netserver_genode" caps="200">
<start name="netserver_genode" caps="220">
}
append config "<binary name=\"$netperf_app\"/>"
append config {