In creating the tutorial, “Installing NixOS on Raspberry Pi 4,” I ran into a ton of paths that didn’t work. I’ve collected them here for the sake of saving others time retrying the same steps. The standard NixOS aarch64 image doesn’t work When I checked the NixOS download page, I saw that they offered 64-bit ARM images. NixOS offers bootable images for 64-bit ARM systems “Wonderful!” I thought to myself, as the Pi 4 has a 64-bit ARM CPU.