Debian GNU/kFreeBSD è un sistema Debian GNU con kFreeBSD come kernel.

Questo port di Debian è attualmente sviluppato solo sulle architetture i386 e amd64 anche se sono possibili i port verso altre architetture.

Notare che Debian GNU/kFreeBSD non è un sistema Linux e quindi alcune informazioni specifiche di Linux non sono valide per kFreeBSD.

Per maggiori informazioni si consulti la pagina dei port di Debian GNU/kFreeBSD e la mailing list <debian-bsd@lists.debian.org>.