FriendlyELEC-Forum

Hello,
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

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.