···

       
141
       
141
       
 
       
    platform = "rk3328";

     

       
142
       
142
       
 
       
    extraMeta.platforms = ["aarch64-linux"];

     

       
143
       
143
       
 
       
    filesToInstall = [ "build/${platform}/release/bl31/bl31.elf"];

     

       
144
       
144
       
-
       
    platformCanUseHDCPBlob = true;

     

       
145
       
144
       
 
       
  };

     

       
146
       
145
       
 
       


     

       
147
       
146
       
 
       
  armTrustedFirmwareRK3399 = buildArmTrustedFirmware rec {

     

···

       
497
       
497
       
 
       
    filesToInstall = ["u-boot.bin"];

     

       
498
       
498
       
 
       
  };

     

       
499
       
499
       
 
       


     

       
500
       
500
       
-
       
  ubootRock64 = let

     

       
501
       
501
       
-
       
    rkbin = fetchFromGitHub {

     

       
502
       
502
       
-
       
      owner = "ayufan-rock64";

     

       
503
       
503
       
-
       
      repo = "rkbin";

     

       
504
       
504
       
-
       
      rev = "f79a708978232a2b6b06c2e4173c5314559e0d3a";

     

       
505
       
505
       
-
       
      sha256 = "0h7xm4ck3p3380c6bqm5ixrkxwcx6z5vysqdwvfa7gcqx5d6x5zz";

     

       
506
       
506
       
-
       
    };

     

       
507
       
507
       
-
       
  in buildUBoot {

     

       
500
       
500
       
+
       
  ubootRock64 = buildUBoot {

     

       
508
       
501
       
 
       
    defconfig = "rock64-rk3328_defconfig";

     

       
509
       
509
       
-
       
    extraMeta = {

     

       
510
       
510
       
-
       
      platforms = [ "aarch64-linux" ];

     

       
511
       
511
       
-
       
      license = lib.licenses.unfreeRedistributableFirmware;

     

       
512
       
512
       
-
       
    };

     

       
502
       
502
       
+
       
    extraMeta.platforms = [ "aarch64-linux" ];

     

       
513
       
503
       
 
       
    BL31="${armTrustedFirmwareRK3328}/bl31.elf";

     

       
514
       
514
       
-
       
    filesToInstall = [ "u-boot.itb" "idbloader.img"];

     

       
515
       
515
       
-
       
    # Derive MAC address from cpuid

     

       
516
       
516
       
-
       
    # Submitted upstream: https://patchwork.ozlabs.org/patch/1203686/

     

       
517
       
517
       
-
       
    extraConfig = ''

     

       
518
       
518
       
-
       
      CONFIG_MISC_INIT_R=y

     

       
519
       
519
       
-
       
    '';

     

       
520
       
520
       
-
       
    # Close to being blob free, but the U-Boot TPL causes random memory

     

       
521
       
521
       
-
       
    # corruption

     

       
522
       
522
       
-
       
    postBuild = ''

     

       
523
       
523
       
-
       
      ./tools/mkimage -n rk3328 -T rksd -d ${rkbin}/rk33/rk3328_ddr_786MHz_v1.13.bin idbloader.img

     

       
524
       
524
       
-
       
      cat spl/u-boot-spl.bin >> idbloader.img

     

       
504
       
504
       
+
       
    filesToInstall = [ "u-boot.itb" "idbloader.img" "u-boot-rockchip.bin" ];

     

       
505
       
505
       
+
       
  };

     

       
506
       
506
       
+
       


     

       
507
       
507
       
+
       
  # A special build with much lower memory frequency (666 vs 1600 MT/s) which

     

       
508
       
508
       
+
       
  # makes ROCK64 V2 boards stable. This is necessary because the DDR3 routing

     

       
509
       
509
       
+
       
  # on that revision is marginal and not uncoditionally stable at the specified

     

       
510
       
510
       
+
       
  # frequency. If your ROCK64 is unstable you can try this u-boot variant to

     

       
511
       
511
       
+
       
  # see if it works better for you. The only disadvantage is lowered memory

     

       
512
       
512
       
+
       
  # bandwidth.

     

       
513
       
513
       
+
       
  ubootRock64v2 = buildUBoot {

     

       
514
       
514
       
+
       
    prePatch = ''

     

       
515
       
515
       
+
       
      substituteInPlace arch/arm/dts/rk3328-rock64-u-boot.dtsi \

     

       
516
       
516
       
+
       
        --replace rk3328-sdram-lpddr3-1600.dtsi rk3328-sdram-lpddr3-666.dtsi

     

       
525
       
517
       
 
       
    '';

     

       
518
       
518
       
+
       
    defconfig = "rock64-rk3328_defconfig";

     

       
519
       
519
       
+
       
    extraMeta.platforms = [ "aarch64-linux" ];

     

       
520
       
520
       
+
       
    BL31="${armTrustedFirmwareRK3328}/bl31.elf";

     

       
521
       
521
       
+
       
    filesToInstall = [ "u-boot.itb" "idbloader.img" "u-boot-rockchip.bin" ];

     

       
526
       
522
       
 
       
  };

     

       
527
       
523
       
 
       


     

       
528
       
524
       
 
       
  ubootRockPro64 = buildUBoot {

     

···

       
28876
       
28876
       
 
       
    ubootRaspberryPi4_64bit

     

       
28877
       
28877
       
 
       
    ubootRaspberryPiZero

     

       
28878
       
28878
       
 
       
    ubootRock64

     

       
28879
       
28879
       
+
       
    ubootRock64v2

     

       
28879
       
28880
       
 
       
    ubootRockPi4

     

       
28880
       
28881
       
 
       
    ubootRockPro64

     

       
28881
       
28882
       
 
       
    ubootROCPCRK3399