On 9 April 2015 at 15:35, <steve-ALUG@hst.me.uk> wrote:
Nope, not necessarily. At boot time, grub displays (or more often than not nowadays, does not display) a boot-menu, from which you can choose which kernel version is loaded.
I didn't check the boot menu but I did check /boot and I only had the older kernel. I have however fixed it. For some reason I did not have linux-generic installed, it looks like I had a specific kernel version installed (not sure how?). Therefore I wasn't getting any kernel updates, and the assumption that linux-headers-generic would coincide with my kernel was false. I'd love to know how I got latched onto a single kernel though. -- Mark Rogers // More Solutions Ltd (Peterborough Office) // 0844 251 1450 Registered in England (0456 0902) 21 Drakes Mews, Milton Keynes, MK8 0ER