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.