Advancing prudently but quietly within the Debian camp is the Debian GNU/kFreeBSD operating system that pairs Debian's GNU user-land with the FreeBSD kernel. For Debian 8.0 "Jessie" there are continued improvements on this spin that does away with the Linux kernel. Debian GNU/kFreeBSD Jessie/Sid currently defaults to the FreeBSD 9.2.0 kernel, but a FreeBSD 10.0 development kernel has already landed in Debian and is the focus of today's benchmarks.
December 17, 2013
FreeBSD 10.0 Kernel Comes To Debian
Read more at Phoronix