|Source model||Open source|
|Kernel type||Modular kernel (kFreeBSD)|
|Userland||GNU with GNU C Library|
|Preceded by||Debian, FreeBSD|
Debian GNU/kFreeBSD is an operating system released by the Debian project. It uses the kernel of FreeBSD combined with a GNU based userland and glibc. 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. The Debian project maintains two ports based on the FreeBSD kernel, "kfreebsd-i386" and "kfreebsd-amd64".
A very first testing version of Debian GNU/kFreeBSD was created in 2002, and then it was included in Debian 6.0 (Squeeze) as a "technology preview", and in Debian 7.0 (Wheezy) as an official port. Debian GNU/kFreeBSD was discontinued as an officially supported platform as of Debian 8.0.
- Debian GNU/NetBSD, a Debian operating system that used the NetBSD kernel.
- Debian GNU/Hurd, a Debian variant based on the Hurd kernel.
- "Debian_GNU/kFreeBSD_why - Debian Wiki". Wiki.debian.org. 2011-10-05. Retrieved 2013-07-05.
- "Chrooted NetBSD environment available for testing". 2002-01-06.