Debian: kFreeBSD 9.0 Kernel Competing Against Linux 3.2
Written by Michael Larabel in Operating Systems on 5 March 2012. Page 4 of 5. 24 Comments

Debian GNU/kFreeBSD was also measurably faster than Debian GNU/Linux when it came to the Himeno benchmark.

For the C-based SciMark benchmarks several of the tests yielded the same level of performance between the Linux and FreeBSD kernels while the others favored the Linux 3.2 kernel.