Nix RPi Bootstrapping

I can never remember how to set up a Raspberry Pi. Every time I flash an SD card, I end up searching for the same wifi configuration, the same SSH setup, the same boot options. During my recent exploration of Nix, this felt like an immediate candidate for improvement: the whole configuration lives in code, and rebuilding is one command. This post covers getting NixOS onto an RPi from scratch, and…