Re: kernel upgrade

[Ralf Mardorf <ralf.mardorf@alice-dsl.net>]

On Sat, 2014-03-29 at 14:31 +0100, François Patte wrote:
> Bonjour,
> 
> 
> Since I installed debian sid (august 2013), I regularly made upgrade,
> but the kernel doesn't appear to be upgraded. Why? I am running
> 3.2.0-4-amd64 kernel.
> 
> Do I have to upgrade to 3.13-1-amd64? If yes how to proceed?

I'm not aware about the Debian policy regarding to what kernel version,
does replace what other kernel version.

[rocketmouse@archlinux ~]$ ls -hAl /mnt/debi386/boot/vm*
-rw-r--r-- 1 root root 2.7M Feb  8 06:20 /mnt/debi386/boot/vmlinuz-3.12-0.bpo.1-rt-686-pae
-rw-r--r-- 1 root root 2.6M Feb  2 02:06 /mnt/debi386/boot/vmlinuz-3.2.0-4-rt-686-pae
-rw-r--r-- 1 root root 2.8M Mar 21 10:57 /mnt/debi386/boot/vmlinuz-3.8.13.14-rt30-pae-rocketmouse-1
-rw-r--r-- 1 root root 2.8M Jan 27 16:44 /mnt/debi386/boot/vmlinuz-3.8.13-rt14-pae-rocketmouse-2

The kernels without the extension "rocketmouse" are from the Debian
repositories and for me it's good, that 3.12...rt doesn't replace
3.2...rt, since all kernels > 3.8...rt lock my machine. I build the
3.8...rts by myself.

Use Synaptic, (force) install 3.13-1-amd64, test it and assumed it's ok,
purge/completely remove 3.2.0-4-amd64. Take a look at /lib/modules/,
perhaps a hook build modules by dkms that aren't removed, if so remove
them by CLI, IOW rm -r the unneeded dir.