I was able to get an RPi Zero 2 W to boot 64-bit NixOS, though not without manually fudging the dtb which has a different name then what is expected by uboot (Aarch64 SD images missing pi-zero-2.dtb file require to boot. · Issue #216886 · NixOS/nixpkgs · GitHub)
Unfortunately, I’m now stuck at a different spot… I need dwc-otg support for a hat that I want to use w/ the Pi Zero 2, but I’m not sure for the life of me how to get the dtb onto the system.
I found a seemingly related issue along with PR and some devicetree related config from @sorki … Maybe something from those would help, though I’m too new to nixos to know how to apply them.