Debian GNU/kFreeBSD é um sistema Debian GNU com o kernel kFreeBSD.

Este port de Debian actualmente é apenas desenvolvido para as arquitecturas i386 e amd64, embora sejam possível ports para outras arquitecturas.

Por favor note que Debian GNU/kFreeBSD não é um sistema Linux, e por isso alguma informação acerca do sistema Linux poderá não ser aplicável.

Para mais informações, veja a Página do port Debian GNU/kFreeBSD e a mailing list <debian-bsd@lists.debian.org>.