@@ 66,7 66,6 @@ let tox-bootstrap =
, "--log-backend=stdout"
]
}
- , routes = [ ServiceRoute.child "Nic" "nic_drv" ]
}
, nic_drv =
Child.flat
@@ 77,7 76,6 @@ let tox-bootstrap =
, caps = 128
, ram = Genode.units.MiB 4
}
- , routes = [ ServiceRoute.child "Platform" "platform_drv" ]
}
, acpi_drv =
Child.flat
@@ 115,6 113,7 @@ let tox-bootstrap =
, config = Init.Config::{
, policies =
[ Init.Config.Policy::{
+ , service = "Platform"
, label = Init.LabelSelector.prefix "nic_drv"
, content =
[ XML.leaf
@@ 123,26 122,9 @@ let tox-bootstrap =
}
]
}
- , Init.Config.Policy::{
- , label = Init.LabelSelector.prefix "test-pci"
- , content =
- [ XML.leaf
- { name = "pci"
- , attributes = toMap { class = "ALL" }
- }
- ]
- }
]
}
}
- , test-pci =
- Child.flat
- Child.Attributes::{
- , binary = "test-pci"
- , reportRoms = [ label "acpi" ]
- , config = Init.Config::{ attributes = toMap { rom = "acpi" } }
- , routes = [ ServiceRoute.child "Platform" "platform_drv" ]
- }
}
}