2019-07-13 23:43:03 +02:00
|
|
|
let Genode = env:DHALL_GENODE
|
|
|
|
|
|
|
|
let Prelude = Genode.Prelude
|
|
|
|
|
|
|
|
let XML = Prelude.XML
|
|
|
|
|
2019-08-01 00:35:22 +02:00
|
|
|
let Frontend = ./../../retro_frontend/package.dhall
|
2019-07-26 17:58:26 +02:00
|
|
|
|
2019-11-11 20:59:50 +01:00
|
|
|
let defaults = ./../../pkgKeyboardDefaults.dhall
|
2019-07-26 17:58:26 +02:00
|
|
|
|
2019-08-01 00:35:22 +02:00
|
|
|
let frontend =
|
2019-11-11 20:59:50 +01:00
|
|
|
defaults.frontend
|
2019-07-26 17:58:26 +02:00
|
|
|
⫽ { vfs =
|
|
|
|
XML.text
|
|
|
|
''
|
|
|
|
<vfs>
|
2019-11-11 20:59:50 +01:00
|
|
|
<rom name="Oberon-2019-01-21.dsk"/>
|
2019-07-26 17:58:26 +02:00
|
|
|
<dir name="dev"> <log label="core"/> </dir>
|
|
|
|
</vfs>
|
|
|
|
''
|
|
|
|
, game =
|
2019-11-11 20:59:50 +01:00
|
|
|
XML.text "<game path=\"/Oberon-2019-01-21.dsk\"/>"
|
2019-07-26 17:58:26 +02:00
|
|
|
}
|
|
|
|
|
2019-07-13 23:43:03 +02:00
|
|
|
in { indexInfo =
|
2019-11-11 20:59:50 +01:00
|
|
|
"Oberon RISC emulator (requires three-button mouse)"
|
2019-07-13 23:43:03 +02:00
|
|
|
, runtime =
|
|
|
|
defaults.runtime
|
2019-08-01 00:35:22 +02:00
|
|
|
⫽ { config =
|
|
|
|
Frontend.Config.toXML frontend
|
|
|
|
, resources =
|
2019-11-11 20:59:50 +01:00
|
|
|
{ caps = 256, ram = Genode.units.MiB 32 }
|
2019-07-13 23:43:03 +02:00
|
|
|
, roms =
|
2019-11-11 20:59:50 +01:00
|
|
|
defaults.runtime.roms # [ "Oberon-2019-01-21.dsk" ]
|
2019-07-13 23:43:03 +02:00
|
|
|
}
|
2019-08-01 00:35:22 +02:00
|
|
|
, frontend =
|
|
|
|
frontend
|
2019-07-13 23:43:03 +02:00
|
|
|
}
|