Benvenuti nel portale dei kernel 
Questo portale tratta i kernel supportati in Debian. Può essere usato un linguaggio tecnico.
Linux è il kernel principale e quello predefinito in Debian. Quindi lo elenchiamo per primo.
https://kernel-team.pages.debian.net/kernel-handbook/ - Debian Linux Kernel Handbook
Linux
DebianKernel - la pagina del Debian Kernel Team
Hurd
kFreeBSD
Debian GNU/NetBSD