compile kernel with hard float support

[Stefan Parvu]

I understood, by default, the image
FreeBSD-armv6-11.0-RPI2-286947.img.gz has soft float support. All
float-point operations are done in software not using the ARM hardware
VFP. Correct ?

If I want to build FreeBSD 11 with hard float support can I do this
already ? Do we support hard float ? And how should I compile things ?

# setenv ARCH armv6hf (is this correct ?)
# make buildkernel KERNCONF=RPI2

Thanks,


[1] http://download.raspbsd.org/FreeBSD-armv6-11.0-RPI2-286947.img.gz

-- 
Stefan Parvu <sparvu at kronometrix.org>