fixup Nic policies
This commit is contained in:
parent
72f4913d2b
commit
933bdfe628
|
@ -81,8 +81,8 @@ with lib;
|
|||
else
|
||||
null) config.genode.init.children);
|
||||
in {
|
||||
assertion = trace
|
||||
clientList (clientList == [ ] || length clientList == 1);
|
||||
assertion =
|
||||
trace clientList (clientList == [ ] || length clientList == 1);
|
||||
message = "Multiple routes to Nic ${name}, ${clientList}";
|
||||
};
|
||||
in lib.lists.concatMap
|
||||
|
@ -332,7 +332,9 @@ with lib;
|
|||
, Init.ServiceRoute.parent "IO_PORT"
|
||||
]
|
||||
, config = Init.Config::{
|
||||
, policies = [ ${toString policies} ] : List Init.Config.Policy.Type
|
||||
, policies = [ ${
|
||||
toString policies
|
||||
} ] : List Init.Config.Policy.Type
|
||||
}
|
||||
}
|
||||
'';
|
||||
|
|
Loading…
Reference in New Issue