anchor.diff: -{ stdenv, fetchFromGitHub, libuuid, python2, iasl }:
  +{ stdenv, fetchFromGitHub, fetchpatch, libuuid, python2, iasl }:
   
   let
     pythonEnv = python2.withPackages(ps: [ps.tkinter]);
  
positive.code:     mv -v EdkCompatibilityPkg $out
      mv -v edksetup.sh $out
    '';
  
    meta = {
      description = "Intel EFI development kit";
  
negative.code:     sha256 = "0k48xfwxcgcim1bhkggc19hilvsxsf5axvvcpmld0ng1fcfg0cr6";
    };
  
    patches = [
      (fetchpatch {
        name = "short-circuit-the-transfer-of-an-empty-S3_CONTEXT.patch";
        url = "https://github.com/tianocore/edk2/commit/9e2a8e928995c3b1bb664b73fd59785055c6b5f6";
        sha256 = "0mdqa9w1p6cmli6976v4wi0sw9r4p5prkj7lzfd1877wk11c9c73";
      })
    ];
  
    buildInputs = [ libuuid pythonEnv ];
  
    makeFlags = "-C BaseTools";
  
  