FreeBSD 10.1 / 11 on a Raspberry Pi B+ / 2 ?

[Andreas Schwarz]

On 16.04.15, Dan Raymond wrote:

> I'm also interested in swapping out my B+ for a Raspberry Pi 2 but I am 
> waiting on FreeBSD support.

Me too. There is already a RPI2 kernel Profile in /sys/arm/conf/. But there 
is no way to boot such kernel, the u-boot bootloader is not compatible to the 
Cortex-A7. Linux (rasbian) is using two different kernels for bcm2835 and
the new bcm2836 (which includes A7) (which are booted directly at this stage 
instead of u-boot). So we need also two u-boot binaries?

I'm not sure what else is missing. 

-Andreas