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

noux: adapt run scripts to platform_drv.inc reqs

This commit is contained in:
Christian Helmuth 2015-09-17 14:15:28 +02:00
parent 50164336af
commit 9212fc0dc6
10 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -68,7 +68,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -68,7 +68,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -55,7 +55,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">

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

@ -81,7 +81,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -63,7 +63,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -65,7 +65,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -50,7 +50,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -55,7 +55,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -77,7 +77,7 @@ append config {
<service name="TRACE"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>

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

@ -37,7 +37,7 @@ append config {
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>