arm64 as Tier 1 for FreeBSD 13

[Mark Linimon]

On Fri, Jan 31, 2020 at 12:37:08PM -0800, Ihor Antonov wrote:
> A good alternative to RPi are Pine64 devices. Same price level, open
> hardware, specs (apart from broadcom wifi), and the company is very
> interested in growing BSD support

IIUC we're doing well on Pine64.

I _personally_ think the machine is more interesting, which is why I
have one of them.

That said, Raspberry Pi won the "mindshare war" years ago.

mcl