If the author likes NetBSD then they are probably familiar with pkgsrc, there is a package for u-boot for the Rock64 that will take care of combining it with the ARM Trusted Firmware.
I'm currently debugging the lima DRM driver for NetBSD.
NetBSD works fantastically on my army of Rock64Pro systems.
Thanks for the contributions.
It is much simpler due to folks like you putting in the hard work.
I'm currently debugging the lima DRM driver for NetBSD.