2019-07-13 23:43:03 +02:00
|
|
|
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
|
2019-08-01 00:35:22 +02:00
|
|
|
⫽ { binary =
|
2019-07-13 23:43:03 +02:00
|
|
|
"retro_frontend"
|
|
|
|
, requires =
|
|
|
|
List/map
|
|
|
|
Text
|
|
|
|
Runtime/Require
|
|
|
|
Genode.Runtime.Require.require
|
|
|
|
[ "audio_out", "file_system", "nitpicker", "rm" ]
|
2019-08-01 00:35:22 +02:00
|
|
|
, resources = { caps = 128, ram = Genode.units.MiB 32 }
|
2019-07-13 23:43:03 +02:00
|
|
|
, roms =
|
2019-11-11 20:59:50 +01:00
|
|
|
[ "libc.lib.so"
|
2019-07-13 23:43:03 +02:00
|
|
|
, "libm.lib.so"
|
|
|
|
, "libretro.so"
|
|
|
|
, "vfs.lib.so"
|
|
|
|
]
|
|
|
|
}
|
|
|
|
}
|