anchor.diff:      "bin-x86_64-efi/ipxe.efi" = null;
       "bin-x86_64-efi/ipxe.efirom" = null;
       "bin-x86_64-efi/ipxe.usb" = "ipxe-efi.usb";
  -  } // {
  +  } // lib.optionalAttrs (stdenv.isi686 || stdenv.isx86_64) {
       "bin/ipxe.dsk" = null;
       "bin/ipxe.usb" = null;
       "bin/ipxe.iso" = null;
       "bin/ipxe.lkrn" = null;
       "bin/undionly.kpxe" = null;
  +  } // lib.optionalAttrs stdenv.isAarch32 {
  +    "bin-arm32-efi/ipxe.efi" = null;
  +    "bin-arm32-efi/ipxe.efirom" = null;
  +    "bin-arm32-efi/ipxe.usb" = "ipxe-efi.usb";
  +  } // lib.optionalAttrs stdenv.isAarch64 {
  +    "bin-arm64-efi/ipxe.efi" = null;
  +    "bin-arm64-efi/ipxe.efirom" = null;
  +    "bin-arm64-efi/ipxe.usb" = "ipxe-efi.usb";
     };
   in
   
  
positive.code:   pname = "ipxe";
    version = "1.21.1";
  
    nativeBuildInputs = [ perl cdrkit syslinux xz openssl gnu-efi mtools ];
  
    src = fetchFromGitHub {
      owner = "ipxe";
  
negative.code:       homepage = "https://ipxe.org/";
        license = licenses.gpl2;
        maintainers = with maintainers; [ ehmry ];
        platforms = platforms.linux;
      };
  }
  