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.
