anchor.diff:  { stdenv
   , lib
  -, callPackage
   , fetchurl
   , fetchpatch
   , fetchFromGitHub
  
positive.code:       platforms = [ "aarch64-linux" ];
        license = lib.licenses.unfreeRedistributableFirmware;
      };
      filesToInstall = [ "idbloader.bin" "uboot.img" "trust.bin" ];
      postBuild = ''
        ./tools/mkimage -n rk3399 -T rksd -d ${rkbin}/share/rkbin/rk33/rk3399_ddr_800MHz_v1.24.bin idbloader.bin
        cat ${rkbin}/share/rkbin/rk33/rk3399_miniloader_v1.19.bin >> idbloader.bin
        ${rkbin}/bin/trust_merger --replace bl31.elf ${rkbin}/share/rkbin/rk33/rk3399_bl31_v1.30.elf trust.ini
        ${rkbin}/bin/loaderimage --pack --uboot ./u-boot-dtb.bin uboot.img
      '';
    };
  
  
negative.code:   };
  
    ubootNanoPCT4 = buildUBoot rec {
      rkbin = fetchFromGitHub {
        owner = "armbian";
        repo = "rkbin";
        rev = "3bd0321cae5ef881a6005fb470009ad5a5d1462d";
        sha256 = "09r4dzxsbs3pff4sh70qnyp30s3rc7pkc46v1m3152s7jqjasp31";
      };
  
      defconfig = "nanopc-t4-rk3399_defconfig";
  
  