rpi3b #
Flash it into the SD card.
# find out the device
dmesg --fllow
export NIXOS_IMG=nixos-sd-image-23.11pre500597.0fbe93c5a7c-aarch64-linux.imgnixos-sd-image-23.11pre500597.0fbe93c5a7c-aarch64-linux.img
sudo dd if=$NIXOS_IMG of=/dev/sdX bs=4096 conv=fsync status=progress
nixos-generate-config, it’s in /etc/nisox, configuration.nix and hardware-configuration.nix.
Add swap:
fallocate -l 1g /swap
chmod 0600 /swap
mkswap /swap
swapon /swap
nixos-rebuild switch --verbose