Translation(s): English - فارسی (Persian) - Français - العربية - Italiano - Português (Brasil) - Українська
This portal is about the kernels supported by Debian. Technical language could be used.
Linux is currently the only kernel officially supported by Debian.
https://kernel-team.pages.debian.net/kernel-handbook/ - Debian Linux Kernel Handbook
Linux
Hurd
kFreeBSD
Debian GNU/NetBSD