Choose between Raspberry Pi 4B 4GB and ROCKPro64

[Bernd Walter]

On Tue, Oct 15, 2019 at 03:04:33PM -0700, John-Mark Gurney wrote:
> Nenhum_de_Nos wrote this message on Mon, Oct 14, 2019 at 23:31 -0300:
> > 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 :)
> 
> RockPro64 work is still ongoing.  It is coming along though, and it does
> boot.  There is still lots of work to do, like properly support the
> big.little cores and the like.
> 
> I have mine booting from SD card, but it isn't yet full speed (though
> I need to test some of the fixes that have been committed.

This sounds great already.
Just got my RockPro64 4G today.
Any advise on how to build an image?
The u-boot has to go into the SPI-Flash or on the card?
Also have to check the board documentation for the console pins.

-- 
B.Walter <bernd at bwct.de> http://www.bwct.de
Modbus/TCP Ethernet I/O Baugruppen, ARM basierte FreeBSD Rechner uvm.