Rename the second init from "nixos" to "sigil"

This commit is contained in:
Ehmry - 2022-10-20 09:29:59 -05:00
parent 1faf3aff1b
commit 0620daf3b5
4 changed files with 4 additions and 4 deletions

View File

@ -21,7 +21,7 @@ in λ(binary : Text) →
, service = "ROM"
, label =
Init.LabelSelector.Type.Partial
{ prefix = Some "nixos -> ", suffix = None Text }
{ prefix = Some "sigil -> ", suffix = None Text }
}
]
}

View File

@ -91,7 +91,7 @@ let
}
'') value.coreROMs);
in (toRoutes "" config.genode.core.children)
++ (toRoutes "nixos -> " config.genode.init.children)));
++ (toRoutes "sigil -> " config.genode.init.children)));
extraCoreChildren = "[ ${
lib.concatStringsSep ", " (lib.mapAttrsToList

View File

@ -119,7 +119,7 @@ in {
}) childAttrs.uplinks) children);
corePolicies = childPolicies "" config.genode.core.children;
initPolicies = childPolicies "nixos -> " config.genode.init.children;
initPolicies = childPolicies "sigil -> " config.genode.init.children;
in corePolicies ++ initPolicies;
genode.core.auxiliaryChildren = nicDriversFor config.genode.core.children;

View File

@ -63,7 +63,7 @@ in λ ( params
]
# params.extraCoreChildren
# [ child
"nixos"
"sigil"
( Init.toChild
params.subinit
Init.Attributes::{