{ fetchFromGitHub
, fetchpatch
, edk2
, stdenv
, libuuid
, bc
, utillinux
, nasm
, iasl
}:

edk2.mkDerivation "UefiPayloadPkg/UefiPayloadPkgIa32X64.dsc" {
  pname = "coreboot-payload-tianocore";
  inherit (edk2) version;

  patches = [
    ./pr-1170-fix-build.diff
  ];

  buildInputs = [ utillinux bc nasm iasl ];
  buildFlags = [ "-a IA32" "-D BOOTLOADER=COREBOOT" ];
  dontPatchELF = true;
}