I'm wondering, are there plans to support the RockPro64 board in the future? I read on their forums that some were able to swap the Debian root with the Arch root (they kept the Debian uboot and kernel) and everything worked well. So it seems all we need is a good few pkgbuilds for uboot/kernel/config bits.
Thanks