nixos: less diag, more verbose
This commit is contained in:
parent
9c10e2912b
commit
39ea48880a
|
@ -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
|
||||
|
|
|
@ -119,7 +119,6 @@ in λ ( params
|
|||
, policies =
|
||||
[ Init.Config.Policy::{
|
||||
, service = "ROM"
|
||||
, diag = Some True
|
||||
, label = Init.LabelSelector.prefix "ExecStart"
|
||||
}
|
||||
]
|
||||
|
|
Loading…
Reference in New Issue