ubootRockPi4: init

This adds support for the Radxa Rock Pi 4 board which is based on
RK3399. The u-boot outputs from the introduced build are suitable to
build a generic image for the Rock Pi 4 by setting the following in a
custom build of $nixpkgs/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix:

```
  sdImage.postBuildCommands = ''
    dd if=${pkgs.ubootRockPi4}/idbloader.img of=$img seek=64 conv=notrunc
    dd if=${pkgs.ubootROckPi4}/u-boot.itb of=$img seek=16384 conv=notrunc
  '';
```
This commit is contained in:
Andreas Rammhold 2020-11-10 12:54:24 +01:00
parent 6e9b71f0e1
commit 7a5047bede
No known key found for this signature in database
GPG key ID: E432E410B5E48C86
2 changed files with 8 additions and 0 deletions

View file

@ -394,4 +394,11 @@ in {
extraMeta.platforms = ["armv7l-linux"];
filesToInstall = ["u-boot.img" "SPL"];
};
ubootRockPi4 = buildUBoot {
defconfig = "rock-pi-4-rk3399_defconfig";
extraMeta.platforms = ["aarch64-linux"];
BL31 = "${armTrustedFirmwareRK3399}/bl31.elf";
filesToInstall = [ "u-boot.itb" "idbloader.img"];
};
}

View file

@ -18988,6 +18988,7 @@ in
ubootRaspberryPi3_64bit
ubootRaspberryPiZero
ubootRock64
ubootRockPi4
ubootRockPro64
ubootROCPCRK3399
ubootSheevaplug