Choose between Raspberry Pi 4B 4GB and ROCKPro64

[Nenhum_de_Nos]

Hi,

I am about to buy a new arm box and would like it to be the most powerfull
I can get and still get to use FreeBSD somewhere not so far from now. I
know RPi4 is not supported right now, but as I have both RPi2B and RPi3B
and they run fine, my guess is the 4B will have its time also.

So it then comes down to 4B or ROCKPro64. I saw Pine64 images, but I could
not find much information about the ROCKPro64. I looked for some
benchmarks to know the faster CPU, and it looks like the RK3399 is a bit
faster. As the board has more features, I am asking here, if this has even
an answer, what board has better future in FreeBSD.

Thanks in advance :)

matheus