Debian GNU/kFreeBSD

Debian GNU/kFreeBSD is an operating system released by the Debian project. It uses the kernel of FreeBSD combined with a GNU based userland. The majority of software in Debian GNU/kFreeBSD is built from the same sources as Debian GNU/Linux. The k in kFreeBSD is an abbreviation for kernel of, which refers to the fact that only the kernel of FreeBSD operating system is used. From the perspective of the Debian infrastructure and package management Debian GNU/kFreeBSD is treated as *ports* of Debian (currently "kfreebsd-i386" and "kfreebsd-amd64").

The Debian GNU/kFreeBSD base system is fully functional, but there still a few major bugs that need to be fixed and packages that need to be ported to the system. The kfreebsd-* ports of Debian were included with Debian 6.0 (Squeeze) as a "technology preview".