- https://github.com/mitchellh/nixos-config

- Download the 64-bit ARM image: https://nixos.org/download.html
- Follow the instructions in the manual: https://nixos.org/manual/nixos/stable/index.html