Noyau Linux Debian

Voir aussi :

• https://linuxfr.org/news/tuxrun-et-le-noyau-linux

cat >> /etc/apt/sources.list <<EOF
deb http://linux-libre.fsfla.org/pub/linux-libre/freesh freesh main
EOF

# apt-get update && apt-get install linux-libre64 linux-libre64-headers
259 ko réceptionnés en 5s (49,8 ko/s)
Lecture des listes de paquets... Fait
W: Erreur de GPG : http://linux-libre.fsfla.org freesh InRelease : Les signatures suivantes n'ont pas pu être vérifiées car la clé publique n'est pas disponible : NO_PUBKEY 6FCB32C947486962

$ #gpg --keyserver pgpkeys.mit.edu --recv-key 6FCB32C947486962
$ gpg --keyserver pool.sks-keyservers.net --recv-key 6FCB32C947486962
gpg: le porte-clefs « /root/.gnupg/secring.gpg » a été créé
gpg: demande de la clef 47486962 sur le serveur hkp pgpkeys.mit.edu
gpg: clef 47486962 : clef publique « Jason Self <jself@gnu.org> » importée
gpg: aucune clef de confiance ultime n'a été trouvée
gpg:       Quantité totale traitée : 1
gpg:                     importées : 1

$ gpg -a --export 6FCB32C947486962 | sudo apt-key add -
OK

Connaitre la version du noyau à partir des sources

make kernelversion