2020-04-13 20:26:01 +02:00
|
|
|
let Genode = env:DHALL_GENODE
|
|
|
|
|
|
|
|
let Prelude = Genode.Prelude
|
|
|
|
|
|
|
|
let Init = Genode.Init
|
|
|
|
|
|
|
|
in { Genode = Genode
|
|
|
|
, Type =
|
|
|
|
{ children : Prelude.Map.Type Text Init.Child.Type
|
|
|
|
, rom : Genode.BootModules.Type
|
|
|
|
}
|
|
|
|
, default.rom = [] : Genode.BootModules.Type
|
|
|
|
, initToChildren =
|
|
|
|
λ(init : Init.Type)
|
|
|
|
→ toMap
|
|
|
|
{ init =
|
|
|
|
Init.toChild
|
|
|
|
init
|
|
|
|
Init.Attributes::{
|
|
|
|
, routes =
|
|
|
|
[ Init.ServiceRoute.parentLabel
|
|
|
|
"LOG"
|
|
|
|
(Some "SOTEST")
|
|
|
|
(Some "unlabeled")
|
|
|
|
, Init.ServiceRoute.parent "IO_MEM"
|
|
|
|
, Init.ServiceRoute.parent "IO_PORT"
|
|
|
|
, Init.ServiceRoute.parent "IRQ"
|
2020-04-26 07:15:21 +02:00
|
|
|
, Init.ServiceRoute.parent "VM"
|
2020-04-13 20:26:01 +02:00
|
|
|
]
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|