2
0
Fork 0
genodepkgs/apps/render-rom.dhall

14 lines
271 B
Plaintext

let Genode = env:DHALL_GENODE
let render =
λ(boot : Genode.Boot.Type)
→ let rom =
Genode.BootModules.toRomTexts
(toMap { config = Genode.Init.render boot.config })
# boot.rom
in rom
in render