30 lines
721 B
Plaintext
30 lines
721 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
|
|
⫽ { binary =
|
|
"retro_frontend"
|
|
, requires =
|
|
List/map
|
|
Text
|
|
Runtime/Require
|
|
Genode.Runtime.Require.require
|
|
[ "audio_out", "file_system", "nitpicker", "rm" ]
|
|
, resources = { caps = 128, ram = Genode.units.MiB 32 }
|
|
, roms =
|
|
[ "libc.lib.so"
|
|
, "libm.lib.so"
|
|
, "libretro.so"
|
|
, "vfs.lib.so"
|
|
]
|
|
}
|
|
}
|