La FAQ Debian GNU/Linux

apt-cache search linux-image. ? Installer les sources du noyau kernel-source. Réponse : yum install kernel-source-* apt-get install linux-source ...

Dual-boot Windows-Debian avec UEFI