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.
http://kernel-handbook.alioth.debian.org/ - 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