Installation completed on the RockPro64 and all is well. I installed both with sd card and eMMC (with usb adapter for flashing). I used the Debian 12 Bookworm link and followed the instructions for Linux at https://wiki.pine64.org/wiki/ROCKPro64_Software_Releases#Debian .
William