anchor.diff:    ];
   
     postPatch = ''
  +    grep -q '/usr/share/fonts/truetype' configure
       sed -i 's,/usr/share/fonts/truetype,${dejavu-fonts}/share/fonts/truetype,g' configure
  -    sed -i 's, -Werror,,' grub-core/Makefile.in
     '';
   
     configureFlags = [
  -    "--target=${target}"
  -    "--with-platform=${platform}"
       "--program-prefix="
       "--program-suffix="
  -    "--disable-werror"
  +    "--target=${target}"
  +  ] ++ optionals (platform != "efi") [
  +    "--enable-efiemu"
  +  ] ++ [
  +    "--enable-cache-stats"
  +    "--enable-boot-time"
       "--enable-grub-mkfont"
       "--enable-grub-themes"
       "--enable-grub-mount"
  +    "--enable-device-mapper"
       "--enable-liblzma"
       "--enable-libzfs"
  +    "--disable-werror"
  +    "--with-platform=${platform}"
     ];
   
     postFixup = optionalString ("efi" == platform) ''
  
positive.code:     srcVerification = fetchurl {
        failEarly = true;
        inherit (src) name urls outputHash outputHashAlgo;
        pgpsigUrl = map (n: "${n}.sig") src.urls;
        pgpKeyFingerprint = "E53D 497F 3FA4 2AD8 C9B4  D1E8 35A9 3B74 E82E 4209";
      };
    };
  
  
negative.code:     any
      mapAttrsToList
      optionals
      optionalString
      replaceStrings;
  
    typeMap = {
      "bios-i386" = {
  