NixOS on Raspberry Pi 4 with Encrypted Filesystem (2026)
First I downloaded the latest nixos-image-sd-card-*-aarch64-linux.img from hydra
(see https://hydra.nixos.org/job/nixos/release-26.05/nixos.sd_image.aarch64-linux)
and flashed it onto an usb stick.
Next I booted the Raspberry Pi from the USB stick, waited for the system to finish starting, then reinserted the microSD card.