nix-community/raspberry-pi-nix
1
0
Fork 0
mirror of https://github.com/nix-community/raspberry-pi-nix.git synced 2025-11-08 11:36:04 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #124 from ElvishJerricco/upstream-uboot

Browse source 
use nixpkgs upstream uboot
This commit is contained in:
Travis Staton 2025-02-21 20:23:23 -05:00 • committed by GitHub
commit b9f91f70ac
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 3 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

9
overlays/default.nix
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
@ -84,14 +83,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