1. I've added backports in /etc/apt/source.list
2. I've run apt-get update && sudo apt-get -t wheezy-backports install linux-image-3.12-0.bpo.1-rt-686-pae
$ ls /boot/
config-3.12-0.bpo.1-rt-686-pae System.map-3.12-0.bpo.1-rt-686-pae
config-3.2.0-4-686-pae System.map-3.2.0-4-686-pae
config-3.2.0-4-rt-686-pae System.map-3.2.0-4-rt-686-pae
grub vmlinuz-3.12-0.bpo.1-rt-686-pae
initrd.img-3.12-0.bpo.1-rt-686-pae vmlinuz-3.2.0-4-686-pae
initrd.img-3.2.0-4-686-pae vmlinuz-3.2.0-4-rt-686-pae
initrd.img-3.2.0-4-rt-686-pae
$ uname -a
Linux mataiva 3.2.0-4-686-pae #1 SMP Debian 3.2.54-2 i686 GNU/Linux
It is still the old kernel. how can I add it to the grub config ?
I read that I should not modify it manually !
Regards,
Benjamin