36 lines
878 B
Plaintext
36 lines
878 B
Plaintext
|
let Genode = env:DHALL_GENODE
|
||
|
|
||
|
let XML = Genode.Prelude.XML
|
||
|
|
||
|
let Init = Genode.Init
|
||
|
|
||
|
let Child = Init.Child
|
||
|
|
||
|
in Child.flat
|
||
|
Child.Attributes::{
|
||
|
, binary = "test-execve"
|
||
|
, config = Init.Config::{
|
||
|
, attributes = toMap { ld_verbose = "true" }
|
||
|
, content =
|
||
|
[ XML.text
|
||
|
''
|
||
|
<arg value="name_of_executeable"/>
|
||
|
<arg value="100"/>
|
||
|
<libc stdin="/null" stdout="/log" stderr="/log"/>
|
||
|
<vfs> <rom name="test-execve"/> <null/> <log/> </vfs>
|
||
|
''
|
||
|
]
|
||
|
}
|
||
|
, exitPropagate = True
|
||
|
, resources = Genode.Init.Resources::{
|
||
|
, caps = 512
|
||
|
, ram = Genode.units.MiB 32
|
||
|
}
|
||
|
, routes =
|
||
|
[ Init.ServiceRoute.parentLabel
|
||
|
"ROM"
|
||
|
(Some "/test-execve")
|
||
|
(Some "test-execve")
|
||
|
]
|
||
|
}
|