Discussion :

[khaliloum]

bonjours,

comment savoir si le kernel package et kernel source sont instalés
merci

[Arnaud F.]

Pour les sources :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

# dpkg -l|grep kernel-source-`uname -r`

Pour les headers :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

# dpkg -l|grep kernel-headers-`uname -r`

/!\ Si c'est un noyau récent (>2.6), c'est pas kernel-headers mais linux-headers

++