From 0620daf3b54884b3b273cdaab6d95507d5837a25 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 20 Oct 2022 09:29:59 -0500
Subject: [PATCH] Rename the second init from "nixos" to "sigil"

---
 nixos-modules/eris/cached_fs_rom.dhall | 2 +-
 nixos-modules/genode-core.nix          | 2 +-
 nixos-modules/hardware/nic.nix         | 2 +-
 nixos-modules/store-wrapper.dhall      | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/nixos-modules/eris/cached_fs_rom.dhall b/nixos-modules/eris/cached_fs_rom.dhall
index 19c5bf2..6cd035f 100644
--- a/nixos-modules/eris/cached_fs_rom.dhall
+++ b/nixos-modules/eris/cached_fs_rom.dhall
@@ -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 }
               }
             ]
           }
diff --git a/nixos-modules/genode-core.nix b/nixos-modules/genode-core.nix
index e53d332..dbbce7b 100644
--- a/nixos-modules/genode-core.nix
+++ b/nixos-modules/genode-core.nix
@@ -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
diff --git a/nixos-modules/hardware/nic.nix b/nixos-modules/hardware/nic.nix
index 86f8993..9b4d6b3 100644
--- a/nixos-modules/hardware/nic.nix
+++ b/nixos-modules/hardware/nic.nix
@@ -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;
diff --git a/nixos-modules/store-wrapper.dhall b/nixos-modules/store-wrapper.dhall
index 70345b9..9847906 100644
--- a/nixos-modules/store-wrapper.dhall
+++ b/nixos-modules/store-wrapper.dhall
@@ -63,7 +63,7 @@ in  λ ( params
                   ]
                 # params.extraCoreChildren
                 # [ child
-                      "nixos"
+                      "sigil"
                       ( Init.toChild
                           params.subinit
                           Init.Attributes::{