···

       
4
       
 
       
{

     

       
5
       
 
       
  config,

     

       
6
       
 
       
  lib,

     

       
0
       
 
       

     

       
7
       
 
       
  pkgs,

     

       
8
       
 
       
  ...

     

       
9
       
 
       
}:

     
···

       
785
       
 
       
    # specified on the kernel command line, created in the stage 1

     

       
786
       
 
       
    # init script.

     

       
787
       
 
       
    "/iso" = lib.mkImageMediaOverride {

     

       
788
       
-
       
      device = "/dev/root";

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
789
       
 
       
      neededForBoot = true;

     

       
790
       
 
       
      noCheck = true;

     

       
791
       
 
       
    };

     
···

       
794
       
 
       
    # image) to make this a live CD.

     

       
795
       
 
       
    "/nix/.ro-store" = lib.mkImageMediaOverride {

     

       
796
       
 
       
      fsType = "squashfs";

     

       
797
       
-
       
      device = "/iso/nix-store.squashfs";

     

       
798
       
 
       
      options = [

     

       
799
       
 
       
        "loop"

     

       
800
       
 
       
      ]

     
···

       
809
       
 
       
    };

     

       
810
       
 
       


     

       
811
       
 
       
    "/nix/store" = lib.mkImageMediaOverride {

     

       
812
       
-
       
      fsType = "overlay";

     

       
813
       
-
       
      device = "overlay";

     

       
814
       
-
       
      options = [

     

       
815
       
-
       
        "lowerdir=/nix/.ro-store"

     

       
816
       
-
       
        "upperdir=/nix/.rw-store/store"

     

       
817
       
-
       
        "workdir=/nix/.rw-store/work"

     

       
818
       
-
       
      ];

     

       
819
       
-
       
      depends = [

     

       
820
       
-
       
        "/nix/.ro-store"

     

       
821
       
-
       
        "/nix/.rw-store/store"

     

       
822
       
-
       
        "/nix/.rw-store/work"

     

       
823
       
-
       
      ];

     

       
824
       
 
       
    };

     

       
825
       
 
       
  };

     

       
826
       
 
       


     
···

       
882
       
 
       
    # UUID of the USB stick.  It would be nicer to write

     

       
883
       
 
       
    # `root=/dev/disk/by-label/...' here, but UNetbootin doesn't

     

       
884
       
 
       
    # recognise that.

     

       
885
       
-
       
    boot.kernelParams = [

     

       
886
       
-
       
      "root=LABEL=${config.isoImage.volumeID}"

     

       
887
       
 
       
      "boot.shell_on_fail"

     

       
0
       
 
       

     

       
888
       
 
       
    ];

     

       
889
       
 
       


     

       
890
       
 
       
    fileSystems = config.lib.isoFileSystems;

     
···

       
901
       
 
       
      "overlay"

     

       
902
       
 
       
    ];

     

       
903
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
904
       
 
       
    # Closures to be copied to the Nix store on the CD, namely the init

     

       
905
       
 
       
    # script and the top-level system configuration directory.

     

       
906
       
 
       
    isoImage.storeContents = [

     
···

       
959
       
 
       
          target = "/EFI";

     

       
960
       
 
       
        }

     

       
961
       
 
       
        {

     

       
962
       
-
       
          source = (pkgs.writeTextDir "grub/loopback.cfg" "source /EFI/BOOT/grub.cfg") + "/grub";

     

       
963
       
-
       
          target = "/boot/grub";

     

       
964
       
-
       
        }

     

       
965
       
-
       
        {

     

       
966
       
 
       
          source = config.isoImage.efiSplashImage;

     

       
967
       
 
       
          target = "/EFI/BOOT/efi-background.png";

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
968
       
 
       
        }

     

       
969
       
 
       
      ]

     

       
970
       
 
       
      ++ lib.optionals (config.boot.loader.grub.memtest86.enable && config.isoImage.makeBiosBootable) [

     

···

       
4
       
 
       
{

     

       
5
       
 
       
  config,

     

       
6
       
 
       
  lib,

     

       
7
       
+
       
  utils,

     

       
8
       
 
       
  pkgs,

     

       
9
       
 
       
  ...

     

       
10
       
 
       
}:

     
···

       
786
       
 
       
    # specified on the kernel command line, created in the stage 1

     

       
787
       
 
       
    # init script.

     

       
788
       
 
       
    "/iso" = lib.mkImageMediaOverride {

     

       
789
       
+
       
      device =

     

       
790
       
+
       
        if config.boot.initrd.systemd.enable then

     

       
791
       
+
       
          "/dev/disk/by-label/${config.isoImage.volumeID}"

     

       
792
       
+
       
        else

     

       
793
       
+
       
          "/dev/root";

     

       
794
       
 
       
      neededForBoot = true;

     

       
795
       
 
       
      noCheck = true;

     

       
796
       
 
       
    };

     
···

       
799
       
 
       
    # image) to make this a live CD.

     

       
800
       
 
       
    "/nix/.ro-store" = lib.mkImageMediaOverride {

     

       
801
       
 
       
      fsType = "squashfs";

     

       
802
       
+
       
      device = "${lib.optionalString config.boot.initrd.systemd.enable "/sysroot"}/iso/nix-store.squashfs";

     

       
803
       
 
       
      options = [

     

       
804
       
 
       
        "loop"

     

       
805
       
 
       
      ]

     
···

       
814
       
 
       
    };

     

       
815
       
 
       


     

       
816
       
 
       
    "/nix/store" = lib.mkImageMediaOverride {

     

       
817
       
+
       
      overlay = {

     

       
818
       
+
       
        lowerdir = [ "/nix/.ro-store" ];

     

       
819
       
+
       
        upperdir = "/nix/.rw-store/store";

     

       
820
       
+
       
        workdir = "/nix/.rw-store/work";

     

       
821
       
+
       
      };

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
822
       
 
       
    };

     

       
823
       
 
       
  };

     

       
824
       
 
       


     
···

       
880
       
 
       
    # UUID of the USB stick.  It would be nicer to write

     

       
881
       
 
       
    # `root=/dev/disk/by-label/...' here, but UNetbootin doesn't

     

       
882
       
 
       
    # recognise that.

     

       
883
       
+
       
    boot.kernelParams = lib.optionals (!config.boot.initrd.systemd.enable) [

     

       
0
       
 
       

     

       
884
       
 
       
      "boot.shell_on_fail"

     

       
885
       
+
       
      "root=LABEL=${config.isoImage.volumeID}"

     

       
886
       
 
       
    ];

     

       
887
       
 
       


     

       
888
       
 
       
    fileSystems = config.lib.isoFileSystems;

     
···

       
899
       
 
       
      "overlay"

     

       
900
       
 
       
    ];

     

       
901
       
 
       


     

       
902
       
+
       
    boot.initrd.systemd = lib.mkIf config.boot.initrd.systemd.enable {

     

       
903
       
+
       
      emergencyAccess = true;

     

       
904
       
+
       


     

       
905
       
+
       
      # Most of util-linux is not included by default.

     

       
906
       
+
       
      initrdBin = [ config.boot.initrd.systemd.package.util-linux ];

     

       
907
       
+
       
      services.copytoram = {

     

       
908
       
+
       
        description = "Copy ISO contents to RAM";

     

       
909
       
+
       
        requiredBy = [ "initrd.target" ];

     

       
910
       
+
       
        before = [

     

       
911
       
+
       
          "${utils.escapeSystemdPath "/sysroot/nix/.ro-store"}.mount"

     

       
912
       
+
       
          "initrd-switch-root.target"

     

       
913
       
+
       
        ];

     

       
914
       
+
       
        unitConfig = {

     

       
915
       
+
       
          RequiresMountsFor = "/sysroot/iso";

     

       
916
       
+
       
          ConditionKernelCommandLine = "copytoram";

     

       
917
       
+
       
        };

     

       
918
       
+
       
        serviceConfig = {

     

       
919
       
+
       
          Type = "oneshot";

     

       
920
       
+
       
          RemainAfterExit = true;

     

       
921
       
+
       
        };

     

       
922
       
+
       
        path = [

     

       
923
       
+
       
          pkgs.coreutils

     

       
924
       
+
       
          config.boot.initrd.systemd.package.util-linux

     

       
925
       
+
       
        ];

     

       
926
       
+
       
        script = ''

     

       
927
       
+
       
          device=$(findmnt -n -o SOURCE --target /sysroot/iso)

     

       
928
       
+
       
          fsSize=$(blockdev --getsize64 "$device" || stat -Lc '%s' "$device")

     

       
929
       
+
       
          mkdir -p /tmp-iso

     

       
930
       
+
       
          mount --bind --make-private /sysroot/iso /tmp-iso

     

       
931
       
+
       
          umount /sysroot/iso

     

       
932
       
+
       
          mount -t tmpfs -o size="$fsSize" tmpfs /sysroot/iso

     

       
933
       
+
       
          cp -r /tmp-iso/* /sysroot/iso/

     

       
934
       
+
       
          umount /tmp-iso

     

       
935
       
+
       
          rm -r /tmp-iso

     

       
936
       
+
       
        '';

     

       
937
       
+
       
      };

     

       
938
       
+
       
    };

     

       
939
       
+
       


     

       
940
       
 
       
    # Closures to be copied to the Nix store on the CD, namely the init

     

       
941
       
 
       
    # script and the top-level system configuration directory.

     

       
942
       
 
       
    isoImage.storeContents = [

     
···

       
995
       
 
       
          target = "/EFI";

     

       
996
       
 
       
        }

     

       
997
       
 
       
        {

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
998
       
 
       
          source = config.isoImage.efiSplashImage;

     

       
999
       
 
       
          target = "/EFI/BOOT/efi-background.png";

     

       
1000
       
+
       
        }

     

       
1001
       
+
       
      ]

     

       
1002
       
+
       
      ++ lib.optionals (config.isoImage.makeEfiBootable && !config.boot.initrd.systemd.enable) [

     

       
1003
       
+
       
        # http://www.supergrubdisk.org/wiki/Loopback.cfg

     

       
1004
       
+
       
        # This feature will be removed, and thus is not supported by systemd initrd

     

       
1005
       
+
       
        {

     

       
1006
       
+
       
          source = (pkgs.writeTextDir "grub/loopback.cfg" "source /EFI/BOOT/grub.cfg") + "/grub";

     

       
1007
       
+
       
          target = "/boot/grub";

     

       
1008
       
 
       
        }

     

       
1009
       
 
       
      ]

     

       
1010
       
 
       
      ++ lib.optionals (config.boot.loader.grub.memtest86.enable && config.isoImage.makeBiosBootable) [