···

       
233
       
 
       
  # Notes about grub:

     

       
234
       
 
       
  #  * Yes, the grubMenuCfg has to be repeated in all submenus. Otherwise you

     

       
235
       
 
       
  #    will get white-on-black console-like text on sub-menus. *sigh*

     

       
236
       
-
       
  efiDir = pkgs.runCommand "efi-directory" {} ''

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
237
       
 
       
    mkdir -p $out/EFI/boot/

     

       
238
       
 
       


     

       
239
       
 
       
    # ALWAYS required modules.

     
···

       
263
       
 
       


     

       
264
       
 
       
    # Make our own efi program, we can't rely on "grub-install" since it seems to

     

       
265
       
 
       
    # probe for devices, even with --skip-fs-probe.

     

       
266
       
-
       
    ${grubPkgs.grub2_efi}/bin/grub-mkimage -o $out/EFI/boot/boot${targetArch}.efi -p /EFI/boot -O ${grubPkgs.grub2_efi.grubTarget} \

     

       
267
       
 
       
      $MODULES

     

       
268
       
 
       
    cp ${grubPkgs.grub2_efi}/share/grub/unicode.pf2 $out/EFI/boot/

     

       
269
       
 
       


     
···

       
388
       
 
       
    ${refind}

     

       
389
       
 
       
  '';

     

       
390
       
 
       


     

       
391
       
-
       
  efiImg = pkgs.runCommand "efi-image_eltorito" { buildInputs = [ pkgs.mtools pkgs.libfaketime ]; }

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
392
       
 
       
    # Be careful about determinism: du --apparent-size,

     

       
393
       
 
       
    #   dates (cp -p, touch, mcopy -m, faketime for label), IDs (mkfs.vfat -i)

     

       
394
       
 
       
    ''

     
···

       
408
       
 
       
      echo "Usage size: $usage_size"

     

       
409
       
 
       
      echo "Image size: $image_size"

     

       
410
       
 
       
      truncate --size=$image_size "$out"

     

       
411
       
-
       
      ${pkgs.libfaketime}/bin/faketime "2000-01-01 00:00:00" ${pkgs.dosfstools}/sbin/mkfs.vfat -i 12345678 -n EFIBOOT "$out"

     

       
412
       
 
       
      mcopy -psvm -i "$out" ./EFI ./boot ::

     

       
413
       
 
       
      # Verify the FAT partition.

     

       
414
       
-
       
      ${pkgs.dosfstools}/sbin/fsck.vfat -vn "$out"

     

       
415
       
 
       
    ''; # */

     

       
416
       
 
       


     

       
417
       
 
       
  # Name used by UEFI for architectures.

     
···

       
420
       
 
       
      "ia32"

     

       
421
       
 
       
    else if pkgs.stdenv.isx86_64 then

     

       
422
       
 
       
      "x64"

     

       
0
       
 
       

     

       
0
       
 
       

     

       
423
       
 
       
    else if pkgs.stdenv.isAarch64 then

     

       
424
       
 
       
      "aa64"

     

       
425
       
 
       
    else

     

···

       
233
       
 
       
  # Notes about grub:

     

       
234
       
 
       
  #  * Yes, the grubMenuCfg has to be repeated in all submenus. Otherwise you

     

       
235
       
 
       
  #    will get white-on-black console-like text on sub-menus. *sigh*

     

       
236
       
+
       
  efiDir = pkgs.runCommand "efi-directory" {

     

       
237
       
+
       
    nativeBuildInputs = [ pkgs.buildPackages.grub2_efi ];

     

       
238
       
+
       
    strictDeps = true;

     

       
239
       
+
       
  } ''

     

       
240
       
 
       
    mkdir -p $out/EFI/boot/

     

       
241
       
 
       


     

       
242
       
 
       
    # ALWAYS required modules.

     
···

       
266
       
 
       


     

       
267
       
 
       
    # Make our own efi program, we can't rely on "grub-install" since it seems to

     

       
268
       
 
       
    # probe for devices, even with --skip-fs-probe.

     

       
269
       
+
       
    grub-mkimage --directory=${grubPkgs.grub2_efi}/lib/grub/${grubPkgs.grub2_efi.grubTarget} -o $out/EFI/boot/boot${targetArch}.efi -p /EFI/boot -O ${grubPkgs.grub2_efi.grubTarget} \

     

       
270
       
 
       
      $MODULES

     

       
271
       
 
       
    cp ${grubPkgs.grub2_efi}/share/grub/unicode.pf2 $out/EFI/boot/

     

       
272
       
 
       


     
···

       
391
       
 
       
    ${refind}

     

       
392
       
 
       
  '';

     

       
393
       
 
       


     

       
394
       
+
       
  efiImg = pkgs.runCommand "efi-image_eltorito" {

     

       
395
       
+
       
    nativeBuildInputs = [ pkgs.buildPackages.mtools pkgs.buildPackages.libfaketime pkgs.buildPackages.dosfstools ];

     

       
396
       
+
       
    strictDeps = true;

     

       
397
       
+
       
  }

     

       
398
       
 
       
    # Be careful about determinism: du --apparent-size,

     

       
399
       
 
       
    #   dates (cp -p, touch, mcopy -m, faketime for label), IDs (mkfs.vfat -i)

     

       
400
       
 
       
    ''

     
···

       
414
       
 
       
      echo "Usage size: $usage_size"

     

       
415
       
 
       
      echo "Image size: $image_size"

     

       
416
       
 
       
      truncate --size=$image_size "$out"

     

       
417
       
+
       
      faketime "2000-01-01 00:00:00" mkfs.vfat -i 12345678 -n EFIBOOT "$out"

     

       
418
       
 
       
      mcopy -psvm -i "$out" ./EFI ./boot ::

     

       
419
       
 
       
      # Verify the FAT partition.

     

       
420
       
+
       
      fsck.vfat -vn "$out"

     

       
421
       
 
       
    ''; # */

     

       
422
       
 
       


     

       
423
       
 
       
  # Name used by UEFI for architectures.

     
···

       
426
       
 
       
      "ia32"

     

       
427
       
 
       
    else if pkgs.stdenv.isx86_64 then

     

       
428
       
 
       
      "x64"

     

       
429
       
+
       
    else if pkgs.stdenv.isAarch32 then

     

       
430
       
+
       
      "arm"

     

       
431
       
 
       
    else if pkgs.stdenv.isAarch64 then

     

       
432
       
 
       
      "aa64"

     

       
433
       
 
       
    else

     

···

       
23
       
 
       
  efiSystemsBuild = {

     

       
24
       
 
       
    i686-linux.target = "i386";

     

       
25
       
 
       
    x86_64-linux.target = "x86_64";

     

       
0
       
 
       

     

       
26
       
 
       
    aarch64-linux.target = "aarch64";

     

       
27
       
 
       
  };

     

       
28
       
 
       


     
···

       
31
       
 
       
  efiSystemsInstall = {

     

       
32
       
 
       
    i686-linux.target = "i386";

     

       
33
       
 
       
    x86_64-linux.target = "x86_64";

     

       
0
       
 
       

     

       
34
       
 
       
    aarch64-linux.target = "arm64";

     

       
35
       
 
       
  };

     

       
36
       
 
       


     

···

       
23
       
 
       
  efiSystemsBuild = {

     

       
24
       
 
       
    i686-linux.target = "i386";

     

       
25
       
 
       
    x86_64-linux.target = "x86_64";

     

       
26
       
+
       
    armv7l-linux.target = "arm";

     

       
27
       
 
       
    aarch64-linux.target = "aarch64";

     

       
28
       
 
       
  };

     

       
29
       
 
       


     
···

       
32
       
 
       
  efiSystemsInstall = {

     

       
33
       
 
       
    i686-linux.target = "i386";

     

       
34
       
 
       
    x86_64-linux.target = "x86_64";

     

       
35
       
+
       
    armv7l-linux.target = "arm";

     

       
36
       
 
       
    aarch64-linux.target = "arm64";

     

       
37
       
 
       
  };

     

       
38