ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Tweak run scripts for sel4 (caps, timeout)

Browse Source
This commit is contained in:
Christian Helmuth 2018-06-26 11:06:23 +02:00 committed by Norman Feske
parent 182d1d339b
commit 8d1d57fbdf
7 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/run/slab.run
View File

@ -27,7 +27,7 @@ install_config {
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
<start name="test-slab">
<start name="test-slab" caps="140">
<resource name="RAM" quantum="64M"/>
</start>
</config>

2
repos/libports/run/fetchurl.run
View File

@ -57,7 +57,7 @@ append config {
append_platform_drv_config
append_if [have_spec gpio] config "
<start name=\"[gpio_drv]\">
<start name=\"[gpio_drv]\" caps=\"140\">
<resource name=\"RAM\" quantum=\"4M\"/>
<provides><service name=\"Gpio\"/></provides>
<config/>

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

@ -77,7 +77,7 @@ set config {
<resource name="RAM" quantum="1M"/>
<provides> <service name="Timer"/> </provides>
</start>
<start name="test-lwip_httpsrv">
<start name="test-lwip_httpsrv" caps="120">
<resource name="RAM" quantum="5M"/>
<config>
<vfs> <dir name="dev"> <log/> </dir> </vfs>
@ -86,7 +86,7 @@ set config {
</start>}
append_if [have_spec gpio] config "
<start name=\"[gpio_drv]\">
<start name=\"[gpio_drv]\" caps=\"140\">
<resource name=\"RAM\" quantum=\"4M\"/>
<provides><service name=\"Gpio\"/></provides>
<config/>

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

@ -80,7 +80,7 @@ append config {
gateway="10.0.2.1"/>
</config>
</start>
<start name="test-http_clnt">
<start name="test-http_clnt" caps="120">
<resource name="RAM" quantum="32M"/>
<route>
<service name="Nic"> <child name="nic_bridge"/> </service>
@ -126,4 +126,4 @@ append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 "
append qemu_args " -net user "
run_genode_until ".*\"test-http_clnt\" exited with exit value 0.*\n" 30
run_genode_until ".*\"test-http_clnt\" exited with exit value 0.*\n" 40

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

@ -53,7 +53,7 @@ append config {
append_platform_drv_config
append_if [have_spec gpio] config "
<start name=\"[gpio_drv]\">
<start name=\"[gpio_drv]\" caps=\"140\">
<resource name=\"RAM\" quantum=\"4M\"/>
<provides><service name=\"Gpio\"/></provides>
<config/>

2
repos/ports/run/netperf.inc
View File

@ -136,7 +136,7 @@ set config {
</start> }
append_if [have_spec gpio] config "
<start name=\"[gpio_drv]\" caps=\"120\">
<start name=\"[gpio_drv]\" caps=\"140\">
<resource name=\"RAM\" quantum=\"4M\"/>
<provides><service name=\"Gpio\"/></provides>
<config/>

2
repos/ports/run/noux_net_netcat.run
View File

@ -122,7 +122,7 @@ append_if $use_nic_driver config {
</start>}
append_if [have_spec gpio] config "
<start name=\"[gpio_drv]\">
<start name=\"[gpio_drv]\" caps=\"140\">
<resource name=\"RAM\" quantum=\"4M\"/>
<provides><service name=\"Gpio\"/></provides>
<config/>