I’ve been trying to get NixOS to run on my Raspberry Pi 4 for a few days and I finally managed to build a NixOS SD card image for it using the NixOS/nixpkgs repository and the unstable NixOS channel. This GitHub issue was really helpful! If you’d like to try it out, I’ve uploaded it here. To use it, you’ll need to: Unpack the bz2 archive Flash your microSD card (I prefer using Balena Etcher) Put the microSD card in your Raspberry Pi 4 and boot it Run nixos-generate-config Edit /etc/nixos/configuration.