anchor.diff:                "mount LABEL=BOOT /mnt/boot",
             );
           '';
  -        bootLoader = "grub";
  -        grubUseEfi = true;
  -    };
  +        bootLoader = "systemd-boot";
  +    };
  +
  +  simpleUefiGrub = makeInstallerTest "simpleUefiGrub" simple-uefi-grub-config;
   
     # Same as the previous, but now with a separate /boot partition.
     separateBoot = makeInstallerTest "separateBoot"
  
positive.code:        '';
     };
  
  in {
  
    # !!! `parted mkpart' seems to silently create overlapping partitions.
  
  
    # The (almost) simplest partitioning scheme: a swap partition and
    # one big filesystem partition.
    simple = makeInstallerTest "simple" simple-test-config;
  
    # Simple GPT/UEFI configuration using systemd-boot with 3 partitions: ESP, swap & root filesystem
    simpleUefiSystemdBoot = makeInstallerTest "simpleUefiSystemdBoot"
      { createPartitions =
          ''
            $machine->succeed(
  
negative.code:               "mount LABEL=BOOT /mnt/boot",
            );
          '';
          bootLoader = "grub";
          grubUseEfi = true;
      };
  in {
  
    # !!! `parted mkpart' seems to silently create overlapping partitions.
  
  
    # The (almost) simplest partitioning scheme: a swap partition and
    # one big filesystem partition.
    simple = makeInstallerTest "simple" simple-test-config;
  
    # Simple GPT/UEFI configuration using systemd-boot with 3 partitions: ESP, swap & root filesystem
    simpleUefiSystemdBoot = makeInstallerTest "simpleUefiSystemdBoot"
      { createPartitions =
          ''
            $machine->succeed(
  