mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-19 20:09:01 +02:00
Merge pull request #298347 from jgero/feat/uboot-rock4cplus
feat(uboot): add rock4cplus support
This commit is contained in:
commit
aa23ec0eda
|
@ -539,6 +539,13 @@ in {
|
||||||
filesToInstall = ["u-boot.bin"];
|
filesToInstall = ["u-boot.bin"];
|
||||||
};
|
};
|
||||||
|
|
||||||
|
ubootRock4CPlus = buildUBoot {
|
||||||
|
defconfig = "rock-4c-plus-rk3399_defconfig";
|
||||||
|
extraMeta.platforms = [ "aarch64-linux" ];
|
||||||
|
BL31 = "${armTrustedFirmwareRK3399}/bl31.elf";
|
||||||
|
filesToInstall = [ "u-boot.itb" "idbloader.img" ];
|
||||||
|
};
|
||||||
|
|
||||||
ubootRock5ModelB = buildUBoot {
|
ubootRock5ModelB = buildUBoot {
|
||||||
defconfig = "rock5b-rk3588_defconfig";
|
defconfig = "rock5b-rk3588_defconfig";
|
||||||
extraMeta.platforms = ["aarch64-linux"];
|
extraMeta.platforms = ["aarch64-linux"];
|
||||||
|
|
|
@ -28360,6 +28360,7 @@ with pkgs;
|
||||||
ubootRaspberryPi4_32bit
|
ubootRaspberryPi4_32bit
|
||||||
ubootRaspberryPi4_64bit
|
ubootRaspberryPi4_64bit
|
||||||
ubootRaspberryPiZero
|
ubootRaspberryPiZero
|
||||||
|
ubootRock4CPlus
|
||||||
ubootRock5ModelB
|
ubootRock5ModelB
|
||||||
ubootRock64
|
ubootRock64
|
||||||
ubootRock64v2
|
ubootRock64v2
|
||||||
|
|
Loading…
Reference in a new issue