Include: Nothing found for "^##TRANSLATION-HEADER-START"!
Include: Nothing found for "^##TRANSLATION-HEADER-END"!
Welcome to 
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
Ce portail parle des noyaux pris en charge par Debian. Un langage technique peut être utilisé.
Linux est le noyau par défaut et principal de Debian.
https://kernel-team.pages.debian.net/kernel-handbook/ - Debian Linux Kernel Handbook
Linux
DebianKernel - La page de l'équipe Debian Kernel (en anglais)
Hurd
TheHurd (en anglais)
* Debian_GNU/Hurd (en anglais)
kFreeBSD
Debian_GNU/kFreeBSD (en anglais)
Debian_GNU/kFreeBSD_FAQ (en anglais)
Debian GNU/NetBSD
NetBSD kernel (en anglais)
CategoryFrPortal CategoryFrSystemAdministration CategoryFrKernel