Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

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

Debian Alain
Adhérent(e)
Lieu : BREST
Distrib. : W$10 / stable / ubuntu / testing
Noyau : Linux 4.18.0-1-amd64 debian
(G)UI : Gnome wayland / Gdm3
Inscription : 11-03-2017
Site Web

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

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 15:57:29)


1498812139.jpg   Sash! - Ecuador (Official Video) 
RYZEN7 1700X - PRIME X370 PRO - 16 Go DDR4 - RADEON PULSE RX 550 4GB DDR5 OC UEFI - CORSAIR RM750X - SSD crucial MX500 500GB

Hors ligne

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

raleur
Membre
Inscription : 03-10-2014

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

Hors ligne

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

robert2a
Membre
Lieu : France
Inscription : 15-11-2014

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

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 robert2a (16-05-2018 15:39:39)

Hors ligne

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

Debian Alain
Adhérent(e)
Lieu : BREST
Distrib. : W$10 / stable / ubuntu / testing
Noyau : Linux 4.18.0-1-amd64 debian
(G)UI : Gnome wayland / Gdm3
Inscription : 11-03-2017
Site Web

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

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 à robert2a  qui a répondu à ma  question .

1498812139.jpg   Sash! - Ecuador (Official Video) 
RYZEN7 1700X - PRIME X370 PRO - 16 Go DDR4 - RADEON PULSE RX 550 4GB DDR5 OC UEFI - CORSAIR RM750X - SSD crucial MX500 500GB

Hors ligne

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

raleur
Membre
Inscription : 03-10-2014

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

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

Hors ligne

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

yoshi
Membre
Lieu : Normandie
Distrib. : PCLinuxOS
Noyau : 4.18.9
(G)UI : KDE Plasma 5.13.5
Inscription : 05-03-2014

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

+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 20:19:10)


Desktop: CM Asus KCMA-D8. 2x AMD Opteron 4234 six coeurs @ 3,1 Ghz. 32 Go ddr3. GeForce GTX 1060.
Laptop: Toshiba C660-2D6. Intel core I3 2330M dual-core + HT @ 2,2 Ghz. 8 Go ddr3. GeForce 315M.
Media-Center: HP Compaq 6000 Pro. Intel Celeron E3400 dual-core @ 2,6 Ghz. 6 Go ddr3. GeForce GT 710.

Hors ligne

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

Debian Alain
Adhérent(e)
Lieu : BREST
Distrib. : W$10 / stable / ubuntu / testing
Noyau : Linux 4.18.0-1-amd64 debian
(G)UI : Gnome wayland / Gdm3
Inscription : 11-03-2017
Site Web

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

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 09:06:56)


1498812139.jpg   Sash! - Ecuador (Official Video) 
RYZEN7 1700X - PRIME X370 PRO - 16 Go DDR4 - RADEON PULSE RX 550 4GB DDR5 OC UEFI - CORSAIR RM750X - SSD crucial MX500 500GB

Hors ligne

Pied de page des forums