let Genode = env:DHALL_GENODE

let frontend = ./retro_frontend/package.dhall

let Prelude = Genode.Prelude

let XML = Prelude.XML

let defaults = ./pkgDefaults.dhall

let frontendConfig =
      { 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/>"
      }

in  { runtime =
        defaults.runtime ⫽ { config = frontend.Config.toXML frontendConfig }
    , frontendConfig =
        frontendConfig
    }
