I’ve just finished setting up the SATA HAT on NixOS unstable.
I’ve used the lightweight installation script, which uses no PWM for the moment and only turns on the HDDs and the CPU fan.
You can find my configuration in this commit, I hope it can be helpful to someone.