FreeBSD on the RaspberryPi 3

Thu Mar 3 14:39:32 UTC 2016

On Wed, Mar 02, 2016 at 11:57:48AM -0700, Warner Losh 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.

Would be greatest, but to my knowledge the official Raspberry Linux images
also just run a 32bit kernel for now.
This probably mean we could be the first 64bit OS on that hardware...

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