This portal talks about kernels supported in Debian. Technical language could be used.
Linux is the main and default kernel in Debian. Let's list it first.
http://kernel-handbook.alioth.debian.org/ - Debian Linux Kernel Handbook
Linux
DebianKernel - the Debian Kernel Team's page
Hurd
kFreeBSD