Kernel entfernen

[xcomm]

Hallo Alle,

reicht es die entsprechenden Einträge unter /boot und /usr/lib/modules zu entfernen, um einen alten Kernel restlos vom System zu tilgen, wenn dieser nicht über das Debian make-kpkg/dpkg -i *.deb installiert wurde. Also, wenn er nicht im Paketverzeichnis vorkommt?

Danke, Jan

[pdreker]

Du musst noch das Kernel Image selbst entfernen: /boot/vmlinuz-VERSION, und die dort herumliegenden dazugehörenden Dateien...

Patrick