ehmry/genodepkgs
ehmry/genodepkgs
2
0
Fork 0
Code Releases Activity

Update dhall-genode for policy-route changes

Browse Source
This commit is contained in:
Ehmry - 2020-10-22 14:57:33 +02:00
parent 48dda20b9a
commit 5db9421732
1 changed files with 1 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
tests/tox-bootstrapd.dhall
View File

@ -66,7 +66,6 @@ let tox-bootstrap =
, "--log-backend=stdout" , "--log-backend=stdout"
] ]
} }
, routes = [ ServiceRoute.child "Nic" "nic_drv" ]
} }
, nic_drv = , nic_drv =
Child.flat Child.flat
@ -77,7 +76,6 @@ let tox-bootstrap =
, caps = 128 , caps = 128
, ram = Genode.units.MiB 4 , ram = Genode.units.MiB 4
} }
, routes = [ ServiceRoute.child "Platform" "platform_drv" ]
} }
, acpi_drv = , acpi_drv =
Child.flat Child.flat
@ -115,6 +113,7 @@ let tox-bootstrap =
, config = Init.Config::{ , config = Init.Config::{
, policies = , policies =
[ Init.Config.Policy::{ [ Init.Config.Policy::{
, service = "Platform"
, label = Init.LabelSelector.prefix "nic_drv" , label = Init.LabelSelector.prefix "nic_drv"
, content = , content =
[ XML.leaf [ 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" ]
}
} }
} }