use nixpkgs upstream uboot

It's more up to date and it successfully cross compiles
This commit is contained in:
Will Fancher 2025-02-17 14:11:59 -05:00
parent f317116725
commit b54486ef66
3 changed files with 3 additions and 26 deletions

View file

@ -1,5 +1,4 @@
{ u-boot-src
, rpi-linux-stable-src
{ rpi-linux-stable-src
, rpi-linux-6_6_67-src
, rpi-linux-6_12_11-src
, rpi-firmware-src
@ -83,14 +82,10 @@ in
compressFirmwareZstd = x: x;
# provide generic rpi arm64 u-boot
uboot-rpi-arm64 = final.buildUBoot rec {
uboot-rpi-arm64 = final.buildUBoot {
defconfig = "rpi_arm64_defconfig";
extraMeta.platforms = [ "aarch64-linux" ];
filesToInstall = [ "u-boot.bin" ];
version = "2024.04";
patches = [ ];
makeFlags = [ ];
src = u-boot-src;
# In raspberry pi sbcs the firmware manipulates the device tree in
# a variety of ways before handing it off to the linux kernel. [1]
# Since we have installed u-boot in place of a linux kernel we may