2
0
Fork 0

nixos: less diag, more verbose

This commit is contained in:
Emery Hemingway 2020-12-19 15:24:17 +01:00
parent 248f7502e6
commit 791694f168
2 changed files with 2 additions and 5 deletions

View File

@ -25,6 +25,7 @@ in λ ( params
) →
Genode.Boot::{
, config = Init::{
, verbose = True
, routes = params.routes
, children =
let child = Prelude.Map.keyValue Child.Type
@ -90,7 +91,6 @@ in λ ( params
, label =
Init.LabelSelector.prefix
"nixos -> /nix/store"
, diag = Some True
}
]
# ( let Entry = Prelude.Map.Entry Text Text
@ -101,8 +101,7 @@ in λ ( params
( λ(e : Entry) →
[ Init.Config.Policy::{
, service = "ROM"
, diag = Some True
, label =
, label =
Init.LabelSelector.prefix
"nixos -> ${e.mapKey}"
, attributes = toMap
@ -112,7 +111,6 @@ in λ ( params
}
, Init.Config.Policy::{
, service = "ROM"
, diag = Some True
, label =
Init.LabelSelector.Type.Partial
{ prefix = Some

View File

@ -119,7 +119,6 @@ in λ ( params
, policies =
[ Init.Config.Policy::{
, service = "ROM"
, diag = Some True
, label = Init.LabelSelector.prefix "ExecStart"
}
]