FreeBSD on the RaspberryPi 3

[Andrew Turner]

On Wed, 2 Mar 2016 11:57:48 -0700
Warner Losh <imp at bsdimp.com> wrote:

> I suspect that we'll need an aarch64 kernel and userland, at the very
> least, to make this work. Plus there's likely some dragons hiding in
> uboot / ubldr.

Someone should try updating the firmware on the RPI2 image, and
teaching the kernel about the Cortex-A53 in cpufunc.c. I suspect with
these two FreeBSD will boot in AArch32.

Andrew