raspberry pi 4

[Mark Linimon]

On Thu, Jul 11, 2019 at 10:59:09AM +0300, Stefan Parvu wrote:
> We should as well move ARM64 (aarch64) to Tier 1 supported OS, at
> some point of time.

Several people have already been working towards this goal for the
last 3 years; see the following and its associated PRs:

  https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=201763

The progress is also documented in:

  https://wiki.freebsd.org/arm64

mcl