let Genode = env:DHALL_GENODE in λ ( _ : {} ) → Genode.Init::{ , verbose = True , children = toMap { test-pci = Genode.Init.Start::{ , binary = "test-pci" , resources = { caps = 96, ram = Genode.units.MiB 2 } , routes = [ Genode.ServiceRoute.child "Platform" "platform_drv" ] } , acpi_report_rom = Genode.Init.Start::{ , binary = "report_rom" , resources = { caps = 96, ram = Genode.units.MiB 2 } , provides = [ "ROM", "Report" ] , config = Some ( Genode.Prelude.XML.text '' '' ) } , acpi_drv = Genode.Init.Start::{ , binary = "acpi_drv" , resources = { caps = 400, ram = Genode.units.MiB 4 } , constrainPhys = True , provides = [ "Platform", "Acpi" ] , routes = [ Genode.ServiceRoute.child "Report" "acpi_report_rom" , Genode.ServiceRoute.parent "IRQ" , Genode.ServiceRoute.parent "IO_MEM" , Genode.ServiceRoute.parent "IO_PORT" ] } , platform_drv = Genode.Init.Start::{ , binary = "platform_drv" , resources = { caps = 800, ram = Genode.units.MiB 4 } , constrainPhys = True , provides = [ "Platform", "Acpi" ] , routes = [ Genode.ServiceRoute.parent "Timer" , Genode.ServiceRoute.parent "IRQ" , Genode.ServiceRoute.parent "IO_MEM" , Genode.ServiceRoute.parent "IO_PORT" , Genode.ServiceRoute.childLabel "ROM" "acpi_report_rom" (Some "acpi") (None Text) ] , config = Some ( Genode.Prelude.XML.text '' '' ) } } }