From 791694f16844eca032c5ea3bbbbd881e32db7cb8 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Sat, 19 Dec 2020 15:24:17 +0100 Subject: [PATCH] nixos: less diag, more verbose --- nixos-modules/store-wrapper.dhall | 6 ++---- nixos-modules/systemd-runner.dhall | 1 - 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/nixos-modules/store-wrapper.dhall b/nixos-modules/store-wrapper.dhall index 1646d6b..e0c8311 100644 --- a/nixos-modules/store-wrapper.dhall +++ b/nixos-modules/store-wrapper.dhall @@ -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 diff --git a/nixos-modules/systemd-runner.dhall b/nixos-modules/systemd-runner.dhall index ff6626e..4da6005 100644 --- a/nixos-modules/systemd-runner.dhall +++ b/nixos-modules/systemd-runner.dhall @@ -119,7 +119,6 @@ in λ ( params , policies = [ Init.Config.Policy::{ , service = "ROM" - , diag = Some True , label = Init.LabelSelector.prefix "ExecStart" } ]