Comment installer les kernel sources
Fermé
joama
Messages postés
1
Date d'inscription
mercredi 7 mars 2007
Statut
Membre
Dernière intervention
7 mars 2007
-
7 mars 2007 à 16:15
mamiemando Messages postés 33535 Date d'inscription jeudi 12 mai 2005 Statut Modérateur Dernière intervention 12 février 2025 - 8 mars 2007 à 02:44
mamiemando Messages postés 33535 Date d'inscription jeudi 12 mai 2005 Statut Modérateur Dernière intervention 12 février 2025 - 8 mars 2007 à 02:44
A voir également:
- Comment installer les kernel sources
- Installer chromecast - Guide
- Installer windows 10 sans compte microsoft - Guide
- Installer ccleaner - Télécharger - Nettoyage
- Installer microsoft store - Guide
- Installer windows 11 sur pc non compatible - Accueil - Windows
2 réponses
mamiemando
Messages postés
33535
Date d'inscription
jeudi 12 mai 2005
Statut
Modérateur
Dernière intervention
12 février 2025
7 828
8 mars 2007 à 02:44
8 mars 2007 à 02:44
Solution 1 : Je ne sais pas ce que tu installes mais a priori tu peux te contenter des kernels-headers (ou linux-headers) correspondant à ton noyau. Par exemple sous debian et distrib affiliées, en root :
... en remplaçant x.x.x par ta version de noyau. Traditionnellement les sources du noyau linux utilisé sont pointées par le lien symbolique /usr/src/linux
Solution 2 : Sinon tu peux télécharger des sources de noyau sur https://www.kernel.org/ mais il faudra alors compiler le noyau dont tu auras téléchargé les sources et booter dessus.
Bonne chance
uname -a aptitude install linux-header-x.x.x
... en remplaçant x.x.x par ta version de noyau. Traditionnellement les sources du noyau linux utilisé sont pointées par le lien symbolique /usr/src/linux
Solution 2 : Sinon tu peux télécharger des sources de noyau sur https://www.kernel.org/ mais il faudra alors compiler le noyau dont tu auras téléchargé les sources et booter dessus.
Bonne chance
Zempachi
Messages postés
7472
Date d'inscription
vendredi 14 octobre 2005
Statut
Contributeur
Dernière intervention
5 juin 2020
906
7 mars 2007 à 17:37
7 mars 2007 à 17:37
Salut est ce que tu as internet branché sur ce pc?