Debian gets FreeBSD kernel support

The open-source Debian operating system (Linux) gained support for the FreeBSD kernel last weekend (unstable / experimental), allowing users to run the same operating system on two different software cores.