[Résolu] téléchargement sources noyau officiel

Debian Alain · 16-05-2018 14:23:24

bonjour ,

je cherche le moyen de télécharger les sources du kernel officiel .

le dernier en date .

~$ uname -a

Linux Alain-PC 4.16.0-1-amd64 #1 SMP Debian 4.16.5-1 (2018-04-29) x86_64 GNU/Linux

 

je cherche mais je ne trouve pas .

un ch'tit coup de main ?

Dernière modification par Debian Alain (16-05-2018 14:57:29)

raleur · 16-05-2018 14:25:15

https://kernel.org

anonyme · 16-05-2018 14:36:25

avec synaptic , le méta-paquet linux-source

This package depends on packages containing the sources of the latest

Linux kernel.

ou directement le paquet linux-source-4.16

This package provides source code for the Linux kernel version 4.16. This

source closely tracks official Linux kernel releases.  Debian's

modifications to that source consist of security fixes, bug fixes, and

features that have already been (or are believed to be) accepted by the

upstream maintainers.

ou en console

apt-get install linux-source

 

nota: regarde si tu a besoin de modifier le sources.list

sinon avec un .deb , exemple le méta-paquet => https://packages.debian.org/fr/buster/linux-source

ou directement le 4.16 => https://packages.debian.org/buster/linux-source-4.16

Dernière modification par anonyme (16-05-2018 14:39:39)

Debian Alain · 16-05-2018 14:57:04

merci raleur , c'est très gentil , mais c'est pas kernel.org qui m'intéresse .

c'est le kernel officiel de debian .

merci à anonyme qui a répondu à ma question .

raleur · 16-05-2018 15:16:13

Essaie d'être plus clair la prochaine fois. Le noyau Linux officiel, c'est celui de kernel.org comme indiqué dans la citation de anonyme.

yoshi · 16-05-2018 19:16:24

+1 !

Le seul kernel officiel est celui de kernel.org. Il est dit aussi "vanilla" comme tout ce qui est "d'origine".
Celui de Debian en est issu, mais il est "très" patché.

Slackware, par exemple, qui est surement la distro la plus kiss, propose un kernel non patché strictement
identique à celui de kernel.org.

Dernière modification par yoshi (16-05-2018 19:19:10)

Debian Alain · 16-05-2018 20:57:13

savais pas .

merci yoshi .

pour dévier un peu :

en attendant , je me suis amusé à télécharger les sources des kernels 4.15 , 4.16 et 4.17-rc3

grace à :

sudo apt install linux-source-4.15

par exemple . puis à les décompacter dans ~/compilation .
succès .
configuration avec

make xconfig

et création des deb : o.k.

Dernière modification par Debian Alain (17-05-2018 08:06:56)

Debian-facile

#1 16-05-2018 14:23:24

[Résolu] téléchargement sources noyau officiel

#2 16-05-2018 14:25:15

Re : [Résolu] téléchargement sources noyau officiel

#3 16-05-2018 14:36:25

Re : [Résolu] téléchargement sources noyau officiel

#4 16-05-2018 14:57:04

Re : [Résolu] téléchargement sources noyau officiel

#5 16-05-2018 15:16:13

Re : [Résolu] téléchargement sources noyau officiel

#6 16-05-2018 19:16:24

Re : [Résolu] téléchargement sources noyau officiel

#7 16-05-2018 20:57:13

Re : [Résolu] téléchargement sources noyau officiel

Pied de page des forums