Um Debian sem Linux: Debian GNU-kFreeBSD

Debian GNU/kFreeBSD é um sistema operacional de propósito geral, uma distribuição oficial Debian com as ferramentas GNU , mas usando o kernel do FreeBSD (por isso o k na frente, referindo-se ao k__ernel, “__k“FreeBSD) em vez do kernel Linux. Cerca de noventa por cento dos pacotes Debian estão disponíveis para Debian GNU/kFreeBSD.

https://wiki.debian.org/Debian_GNU/kFreeBSD_Desktop