Page 1 of 1

change default kernel or use grub

Posted: Sun Nov 13, 2016 5:07 pm
by mio_piM3
by default the latest debian image is based upon kernel 3.4.39
I have iinstalled the latest 3.16 using synaptic, but at reboot, I see that 3.4.39 is still started

I have also installed grub and the grub.cfg contains 3.16 using update-grub (vmlinuz and initrd.img are both 3.16)

Am I missing a step somewhere ?

I see there is a /boot/uImage file too - with a 3.4.39 signature

Re: change default kernel or use grub

Posted: Fri Dec 16, 2016 3:01 am
by xsacha
I compile and change my kernels all the time.
All I do to change kernel is:
cp /path/to/compiled/uImage /boot/uImage.hdmi

Note that there are two uImage. One for HDMI and one for LVDS.

I have no idea what the inbuilt package manager will do when upgrading kernel but you may need to copy it to uImage.hdmi.