let Genode = env:DHALL_GENODE
in λ(_ : {})
→ { nic =
Genode.Init.Start.defaults
⫽ { binary = "nic_loopback", provides = [ "Nic" ] }
, block =
Genode.Init.Start.defaults
⫽ { binary = "ram_block"
, provides = [ "Block" ]
, resources = { caps = 96, ram = Genode.units.MiB 9 }
, config =
Genode.Prelude.XML.text
''
''
}
, test =
Genode.Init.Start.defaults
⫽ { binary = "sequence"
, resources = { caps = 256, ram = Genode.units.MiB 10 }
, routes =
[ Genode.ServiceRoute.parent "Timer"
, Genode.ServiceRoute.child "Block" "block"
, Genode.ServiceRoute.child "Nic" "nic"
]
, config =
Genode.Prelude.XML.text
''
Hello_Solo5
''
}
}