NixOS on ARM/Raspberry Pi 4: Difference between revisions

imported>Fstuess
No edit summary
imported>Samueldr
m Add notes about updating U-Boot
Line 252: Line 252:


</nowiki>}}
</nowiki>}}
== Notes about the boot process ==


Unless using an extremely early WIP image, the Raspberry Pi 4B boots using the U-Boot platform firmware.


=== Updating U-Boot ===
[https://github.com/NixOS/nixpkgs/issues/82455#issuecomment-959797355 These steps can be followed to update the platform firmware.]


== Troubleshooting ==
== Troubleshooting ==