On Mon, 2017-12-18 at 13:18 +0100, Louis Chanouha wrote: > Here are the results: > > root@xxx:~# uname -v > #1 SMP Debian 4.9.51-1 (2017-09-28)
So you are running the old kernel version... > root@xxx:~# dpkg -l linux-image-4.9.0-4-amd64 > ii linux-image-4.9.0-4-amd64 4.9.65-3 > amd64 Linux 4.9 for 64-bit PCs ...and the new kernel and modules are installed... > root@video-test:~# debsums -c linux-image-4.9.0-4-amd64 > /boot/System.map-4.9.0-4-amd64 > /boot/config-4.9.0-4-amd64 > /boot/vmlinuz-4.9.0-4-amd64 [...] ...but /boot doesn't match what was in the package. So you still have files from the old package in /boot. Perhaps you changed which device is used as /boot at some point. Anyway, if the kernel isn't properly installed that's not a kernel bug. Ben. -- Ben Hutchings 73.46% of all statistics are made up.
signature.asc
Description: This is a digitally signed message part