colin/nix-files
1
0
Fork 1
Code Issues Pull Requests Projects Releases Wiki Activity

bootpart-edk2-rpi: ship the rpi-400 dtb

Browse Source
This commit is contained in:
Colin
2025-08-31 13:19:27 +00:00
parent 86b037c835
commit 4c4a24d08d
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/by-name/bootpart-edk2-rpi/package.nix
View File

@@ -20,9 +20,11 @@ runCommandLocal "bootpart-edk2-rpi" {
install -Dm644 ${./config.txt} $out/config.txt
install -Dm644 ${raspberrypifw}/share/raspberrypi/boot/fixup4.dat $out/fixup4.dat
install -Dm644 ${raspberrypifw}/share/raspberrypi/boot/start4.elf $out/start4.elf
# XXX: .dtb files don't seem to be required for the edk2 firmware to load.
# i'm not sure what i lose by omitting them.
# install -Dm644 ${raspberrypifw}/share/raspberrypi/boot/bcm2711-rpi-400.dtb $out/bcm2711-rpi-400.dtb
# N.B.: there are weird incompatibilities between raspberrypifw (start4.elf) and edk2.
# it seems that if the two binaries are on different versions, then the dtb resolves some discrepencies:
# - allows systemd-boot to autoboot after 5s (else, it lacks its countdown ... uart problems?)
# but generally, omitting this .dtb probably won't totally break the boot.
install -Dm644 ${raspberrypifw}/share/raspberrypi/boot/bcm2711-rpi-400.dtb $out/bcm2711-rpi-400.dtb
# install -Dm644 ${raspberrypifw}/share/raspberrypi/boot/bcm2711-rpi-4-b.dtb $out/bcm2711-rpi-4-b.dtb
# install -Dm644 ${raspberrypifw}/share/raspberrypi/boot/bcm2711-rpi-cm4.dtb $out/bcm2711-rpi-cm4.dtb
''