I had to install NixOS on my Raspberry Pi 4, Model B recently. I didn’t have the HDMI→ micro HDMI cable so I decided to install it headlessly. This is a fairly intricate setup because I wanted to: Cross-compile from aarch64-darwin→ aarch64-linux. Remote build using nixbuild.net to speed up build times. Build from my memory-constrained 1GB Raspberry Pi.* It involved a few gotchas which I want to document here. * Note: Although it is possible to offload the compilation to nixbuild, you st...
