NixOS on ARM/Raspberry Pi 4: Difference between revisions

imported>MikulasVanousek
This line caused a boot loader conflict on NixOS 22.05. It works without it.
imported>Nebucatnetzer
Add a proper example for updating the firmware.
Line 255: Line 255:
Unless using an extremely early WIP image, the Raspberry Pi 4B boots using the U-Boot platform firmware.
Unless using an extremely early WIP image, the Raspberry Pi 4B boots using the U-Boot platform firmware.


=== Updating U-Boot ===
=== Updating U-Boot/Firmware ===


[https://github.com/NixOS/nixpkgs/issues/82455#issuecomment-959797355 These steps can be followed to update the platform firmware.]
{{commands| <nowiki>
$ nix-shell -p raspberrypi-eeprom
$ mount /dev/disk/by-label/FIRMWARE /mnt
$ BOOTFS=/mnt FIRMWARE_RELEASE_STATUS=stable sudo -E rpi-eeprom-update -d -a
</nowiki>}} [https://nix.dev/tutorials/installing-nixos-on-a-raspberry-pi#updating-firmware source]


== Troubleshooting ==
== Troubleshooting ==