alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fetchurl: update to 17.05

Browse Source 
Ref #74
This commit is contained in:
Stefan Kalkowski
2017-08-29 15:23:22 +02:00
committed by Norman Feske
parent ea44897943
commit 2321a81f3b
1 changed files with 4 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
run/fetchurl.run
View File

@@ -31,6 +31,7 @@ append config {
<service name="RM"/>
<service name="ROM"/>
</parent-provides>
<default caps="100"/>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>}
@@ -46,15 +47,11 @@ append config {
<resource name="RAM" quantum="4M"/>
<provides> <service name="Nic"/> </provides>
</start>
<start name="fetchurl">
<start name="fetchurl" caps="500">
<resource name="RAM" quantum="8M"/>
<config>
<libc stdout="/dev/log" stderr="/dev/log">
<vfs>
<dir name="dev">
<log/> <null/> </dir>
</vfs>
</libc>
<vfs> <dir name="dev"> <log/> <null/> </dir> </vfs>
<libc stdout="/dev/log" stderr="/dev/log"/>
<fetch url="http://genode.org/about/LICENSE" path="/dev/log"/>
</config>
</start>