8 lines
211 B
Plaintext
8 lines
211 B
Plaintext
|
let Genode = env:DHALL_GENODE ? ../dhall-genode/package.dhall
|
||
|
|
||
|
in λ(_ : {})
|
||
|
→ { test-log =
|
||
|
Genode.Init.Start.defaults ⫽ { binary = "test-log" }
|
||
|
: Genode.Init.Start.Type
|
||
|
}
|