FreeBSD takes over Linux at kernel.org

[Wojciech Puchar]

anyway - these benchmarks are synthetic and not much useful.

unix is made to run many different things concurently, not same thing
doing same things in parallel.