2019-07-13 23:43:03 +02:00
|
|
|
let Genode = env:DHALL_GENODE
|
|
|
|
|
|
|
|
let XML = Genode.Prelude.XML
|
|
|
|
|
2019-08-01 00:35:22 +02:00
|
|
|
let defaults = ./../../pkgJoypadDefaults.dhall
|
2019-07-13 23:43:03 +02:00
|
|
|
|
2019-08-01 00:35:22 +02:00
|
|
|
in defaults
|
|
|
|
⫽ { indexInfo =
|
2019-11-11 20:59:50 +01:00
|
|
|
"PSX emulator"
|
2019-08-01 00:35:22 +02:00
|
|
|
, runtime =
|
|
|
|
defaults.runtime
|
|
|
|
⫽ { resources =
|
2019-11-11 20:59:50 +01:00
|
|
|
{ caps = 512, ram = Genode.units.MiB 128 }
|
2019-08-01 00:35:22 +02:00
|
|
|
, roms =
|
|
|
|
defaults.runtime.roms # [ "stdcxx.lib.so" ]
|
|
|
|
}
|
|
|
|
}
|