Hi there,

i would like to have NixOS on my Raspberry Pi 3 B (or B+ i don't remember) with one USB stick for `/nix` and one hard drive for `/home`

First, which image should i use ?
* https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-aarch64-new-kernel.nix
* https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix
* https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-raspberrypi.nix
* or another one

Second, where should i get it ?
* https://hydra.nixos.org/jobset/nixos/release-20.03#tabs-jobs
* https://hydra.nixos.org/jobset/nixos/release-20.03-aarch64#tabs-jobs
* build my self (i don't know how to do that)

Third, how to setup ?
i have :
* micro SD cards (i think this is the only way for Raspberry Pi to boot)
* USB stick (for fast mass storage)
* external hard drive (for **mass** storage)
* micro SD card adapter to USB

Fourth, does this steps are correct ?
1. burn the installer on the SD card from my laptop
2. plug this card on the PI 
3. turn on 
4. use the micro SD card adapter to install NixOS on the final SD card
5. install NixOS with the same process as any laptop

i'm lost, any help are really welcome =)