I installed TowBoot, and I am using the RockPro64 image as detailed on the README.md. I haven't tried nixpkgs-unstable, yet.
The HDMI works during the boot phase, but drops after loading the kernel from the SD card; pretty sure the issue is with the image and not TowBoot.