Debian GNU/kFreeBSD

Debian GNU/kFreeBSD is a port that consists of GNU userland using the GNU C library on top of FreeBSD's kernel, coupled with the regular Debian package set.

This is a release in progress. It has been released with Debian 6.0 (Squeeze) as a technology preview and the first non-Linux port.


There's more information about the port (including an FAQ) in the Debian GNU/kFreeBSD wiki page.

Mailing lists

Debian GNU/k*BSD mailing list.


#debian-kbsd IRC channel (at


Because we use Glibc the portability problems are very simple and most times it's just a matter of copying a test case for "k*bsd*-gnu" from another Glibc-based system (like GNU or GNU/Linux). Look at the porting document for details.

Also look at the TODO file for more details on what needs to be done.

Available Hardware for Debian Developers (kfreebsd-amd64) and (kfreebsd-i386) are available to Debian developers for porting work. Please see the machine database for more information about these machines. In general, you will be able to use the two chroot environments: testing and unstable. Note that these systems are not yet administrated by DSA, so do not send requests to debian-admin about it. Instead use or