NixOS on ARM/Raspberry Pi 5: Difference between revisions
Malteneuss (talk | contribs) m Fix formatting |
Malteneuss (talk | contribs) m Fix typos |
||
| Line 72: | Line 72: | ||
3. '''Firmware boot loader''': The third-stage boot loader is loaded from the first partition (usually called <code>/boot</code>) | 3. '''Firmware boot loader''': The third-stage boot loader is loaded from the first partition (usually called <code>/boot</code>) | ||
of an SD card, NVME SSD or other storage hardware described above. | of an SD card, NVME SSD or other storage hardware described above. | ||
Because '''size is usually not an issue here anymore you can have large, fully-fledged boot loaders''' like | Because '''size is usually not an issue here anymore so you can have large, fully-fledged boot loaders''' like | ||
[https://www.freedesktop.org/software/systemd/man/latest/systemd-boot.html systemd-boot] (default with NixOS; requires UEFI), or full | [https://www.freedesktop.org/software/systemd/man/latest/systemd-boot.html systemd-boot] (default with NixOS; requires UEFI), or full | ||
[https://github.com/u-boot/u-boot U-Boot] (popular with embedded devices like the Pi) or | [https://github.com/u-boot/u-boot U-Boot] (popular with embedded devices like the Pi) or | ||
| Line 88: | Line 88: | ||
See the [https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#differences-on-raspberry-pi-5 official documentation]. | See the [https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#differences-on-raspberry-pi-5 official documentation]. | ||
''' | '''Adaptations for booting NixOS''': | ||
In order to boot NixOS with it's default boot loader systemd-boot we need UEFI support, so replace the | In order to boot NixOS with it's default boot loader systemd-boot we need UEFI support, so replace the | ||