Different model, but I just (about 2 days ago) setup my Pi 4B using this, and was done in about an hour:

https://nix.dev/tutorials/installing-nixos-on-a-raspberry-pi

I made it difficult for myself by using flakes, but if you don't care about that, just follow the instructions and you'll be set in 10 min flat.