34 lines
777 B
Plaintext
34 lines
777 B
Plaintext
|
let Genode = env:DHALL_GENODE
|
||
|
|
||
|
let types = env:DHALL_GENODE_TYPES
|
||
|
|
||
|
let Prelude = Genode.Prelude
|
||
|
|
||
|
let List/map = Prelude.List.map
|
||
|
|
||
|
let Runtime/Require = types.Runtime/Require
|
||
|
|
||
|
in { runtime =
|
||
|
Genode.Runtime.defaults
|
||
|
⫽ { ram =
|
||
|
Genode.units.MiB 32
|
||
|
, caps =
|
||
|
128
|
||
|
, binary =
|
||
|
"retro_frontend"
|
||
|
, requires =
|
||
|
List/map
|
||
|
Text
|
||
|
Runtime/Require
|
||
|
Genode.Runtime.Require.require
|
||
|
[ "audio_out", "file_system", "nitpicker", "rm" ]
|
||
|
, roms =
|
||
|
[ "retro_frontend"
|
||
|
, "libc.lib.so"
|
||
|
, "libm.lib.so"
|
||
|
, "libretro.so"
|
||
|
, "vfs.lib.so"
|
||
|
]
|
||
|
}
|
||
|
}
|