Translation(s): English - فارسی (Persian) - Français - العربية - Italiano - Português (Brasil) - Українська
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.
https://kernel-team.pages.debian.net/kernel-handbook/ - Debian Linux Kernel Handbook
Linux
Hurd
kFreeBSD
Debian GNU/NetBSD