diff --git a/tests/tox-bootstrapd.dhall b/tests/tox-bootstrapd.dhall index 6afdb77..e5e1214 100644 --- a/tests/tox-bootstrapd.dhall +++ b/tests/tox-bootstrapd.dhall @@ -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" ] - } } }