NixOS: On Raspberry Pi 3B

https://myme.no/posts/2022-12-01-nixos-on-raspberrypi.html

1 Like

Nice one! Just, I can maybe provide two other advices:

  • on the 3B, 1Go of RAM is not enough to locally switch to a new generation. The system would just freeze without warning or errors. Adding a 2Go swap helps a lot, even if it can be slow. Binfmt is also a great solution that I use a lot.
  • I had issues where the HDMI was black at boot time, even with a recent kernel like 6.0.2. After a raspbian install that automatically updated my firmware, NixOs just boots fine now!