41 lines
885 B
Plaintext
41 lines
885 B
Plaintext
let Genode = env:DHALL_GENODE
|
|
|
|
let Frontend = ./retro_frontend/package.dhall
|
|
|
|
let Prelude = Genode.Prelude
|
|
|
|
let XML = Prelude.XML
|
|
|
|
let defaults = ./pkgDefaults.dhall
|
|
|
|
let frontend =
|
|
{ vfs =
|
|
XML.text
|
|
''
|
|
<vfs>
|
|
<fs/>
|
|
<dir name="dev"> <log label="core"/> </dir>
|
|
</vfs>
|
|
''
|
|
, libc =
|
|
XML.text "<libc stdout=\"/dev/log\" stderr=\"/dev/log\"/>\n"
|
|
, defaultController =
|
|
Some
|
|
{ port =
|
|
0
|
|
, device =
|
|
3
|
|
, binds =
|
|
[] : List { genode : Text, libretro : Text }
|
|
}
|
|
, game =
|
|
XML.text "<game/>"
|
|
, variables = [] : List { mapKey : Text, mapValue : Text }
|
|
}
|
|
|
|
in { runtime =
|
|
defaults.runtime ⫽ { config = Frontend.Config.toXML frontend }
|
|
, frontend =
|
|
frontend
|
|
}
|