···

       
21
       
21
       
 
       
  # ISO naming.

     

       
22
       
22
       
 
       
  isoImage.isoName = "${config.isoImage.isoBaseName}-${config.system.nixos.label}-${pkgs.stdenv.hostPlatform.system}.iso";

     

       
23
       
23
       
 
       


     

       
24
       
24
       
+
       
  # BIOS booting

     

       
25
       
25
       
+
       
  isoImage.makeBiosBootable = true;

     

       
26
       
26
       
+
       


     

       
24
       
27
       
 
       
  # EFI booting

     

       
25
       
28
       
 
       
  isoImage.makeEfiBootable = true;

     

       
26
       
29
       
 
       


     

···

       
535
       
535
       
 
       
      '';

     

       
536
       
536
       
 
       
    };

     

       
537
       
537
       
 
       


     

       
538
       
538
       
+
       
    isoImage.makeBiosBootable = mkOption {

     

       
539
       
539
       
+
       
      default = false;

     

       
540
       
540
       
+
       
      description = lib.mdDoc ''

     

       
541
       
541
       
+
       
        Whether the ISO image should be a BIOS-bootable disk.

     

       
542
       
542
       
+
       
      '';

     

       
543
       
543
       
+
       
    };

     

       
544
       
544
       
+
       


     

       
538
       
545
       
 
       
    isoImage.makeEfiBootable = mkOption {

     

       
539
       
546
       
 
       
      default = false;

     

       
540
       
547
       
 
       
      description = lib.mdDoc ''

     
···

       
693
       
700
       
 
       
    boot.loader.grub.enable = false;

     

       
694
       
701
       
 
       


     

       
695
       
702
       
 
       
    environment.systemPackages =  [ grubPkgs.grub2 grubPkgs.grub2_efi ]

     

       
696
       
696
       
-
       
      ++ optional canx86BiosBoot pkgs.syslinux

     

       
703
       
703
       
+
       
      ++ optional (config.isoImage.makeBiosBootable && canx86BiosBoot) pkgs.syslinux

     

       
697
       
704
       
 
       
    ;

     

       
698
       
705
       
 
       


     

       
699
       
706
       
 
       
    # In stage 1 of the boot, mount the CD as the root FS by label so

     
···

       
744
       
751
       
 
       
        { source = pkgs.writeText "version" config.system.nixos.label;

     

       
745
       
752
       
 
       
          target = "/version.txt";

     

       
746
       
753
       
 
       
        }

     

       
747
       
747
       
-
       
      ] ++ optionals canx86BiosBoot [

     

       
754
       
754
       
+
       
      ] ++ optionals (config.isoImage.makeBiosBootable && canx86BiosBoot) [

     

       
748
       
755
       
 
       
        { source = config.isoImage.splashImage;

     

       
749
       
756
       
 
       
          target = "/isolinux/background.png";

     

       
750
       
757
       
 
       
        }

     
···

       
771
       
778
       
 
       
        { source = config.isoImage.efiSplashImage;

     

       
772
       
779
       
 
       
          target = "/EFI/boot/efi-background.png";

     

       
773
       
780
       
 
       
        }

     

       
774
       
774
       
-
       
      ] ++ optionals (config.boot.loader.grub.memtest86.enable && canx86BiosBoot) [

     

       
781
       
781
       
+
       
      ] ++ optionals (config.boot.loader.grub.memtest86.enable && config.isoImage.makeBiosBootable && canx86BiosBoot) [

     

       
775
       
782
       
 
       
        { source = "${pkgs.memtest86plus}/memtest.bin";

     

       
776
       
783
       
 
       
          target = "/boot/memtest.bin";

     

       
777
       
784
       
 
       
        }

     
···

       
786
       
793
       
 
       
    # Create the ISO image.

     

       
787
       
794
       
 
       
    system.build.isoImage = pkgs.callPackage ../../../lib/make-iso9660-image.nix ({

     

       
788
       
795
       
 
       
      inherit (config.isoImage) isoName compressImage volumeID contents;

     

       
789
       
789
       
-
       
      bootable = canx86BiosBoot;

     

       
796
       
796
       
+
       
      bootable = config.isoImage.makeBiosBootable && canx86BiosBoot;

     

       
790
       
797
       
 
       
      bootImage = "/isolinux/isolinux.bin";

     

       
791
       
791
       
-
       
      syslinux = if canx86BiosBoot then pkgs.syslinux else null;

     

       
792
       
792
       
-
       
    } // optionalAttrs (config.isoImage.makeUsbBootable && canx86BiosBoot) {

     

       
798
       
798
       
+
       
      syslinux = if config.isoImage.makeBiosBootable && canx86BiosBoot then pkgs.syslinux else null;

     

       
799
       
799
       
+
       
    } // optionalAttrs (config.isoImage.makeUsbBootable && config.isoImage.makeBiosBootable && canx86BiosBoot) {

     

       
793
       
800
       
 
       
      usbBootable = true;

     

       
794
       
801
       
 
       
      isohybridMbrImage = "${pkgs.syslinux}/share/syslinux/isohdpfx.bin";

     

       
795
       
802
       
 
       
    } // optionalAttrs config.isoImage.makeEfiBootable {