Este portal trata sobre los núcleos (kernels) soportados en Debian. Podría usarse lenguaje técnico.
Linux es el núcleo principal y por defecto en Debian. Listémoslo el primero.
https://kernel-team.pages.debian.net/kernel-handbook/ - Debian Linux Kernel Handbook (en inglés)
Linux
DebianKernel - página del equipo del núcleo de Debian
Hurd
kFreeBSD
?Debian_GNU/kFreeBSD/Debian-Installer