eddig a kernel kodban nem volt hasznalhato az fpu, csak userspace oldalrol, ez valtozott 2010 marcius kornyeken:
http://people.freebsd.org/~kib/misc/kernfpu/
http://people.freebsd.org/~kib/misc/amd64_kern_fpu.1.patch
FreeBSD 7-STABLE @ sys/conf/kern.mk
#
# For AMD64, we explicitly prohibit the use of FPU, SSE and other SIMD
# operations inside the kernel itself. These operations are exclusively
# reserved for user applications.
#
.if ${MACHINE_ARCH} == "amd64"
CFLAGS+= -mcmodel=kernel -mno-red-zone \
-mfpmath=387 -mno-sse -mno-sse2 -mno-mmx -mno-3dnow \
-msoft-float -fno-asynchronous-unwind-tables
INLINE_LIMIT?= 8000
.endif
___
info