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"
              ]
          }
    }
