Benchmarking Debian's GNU/kFreeBSD

Benchmarking Debian's GNU/kFreeBSD: There has been an effort underway within the Debian development community to pull the FreeBSD kernel within this distribution to provide an alternative to using the Linux kernel. In essence with this Debian GNU/kFreeBSD project you have the standard Debian package set providing a GNU user-land with a GNU C library, but the FreeBSD kernel is running underneath. The Debian project has also been working on Debian GNU/Hurd to effectively do the same thing but with the GNU Mach microkernel. But unlike Debian GNU/Hurd, with the release of Debian 6.0 "Squeeze", Debian GNU/kFreeBSD will reach a release status. With the Debian Squeeze release being just two months away we have decided to provide the first public set of benchmarks that compare the Debian GNU/kFreeBSD performance to that of Debian GNU/Linux. We have tested both the 32-bit and 64-bit builds of Debian with the Linux and FreeBSD kernels.