On 08/02/2016 01:21 PM, Ralf Mardorf wrote: > apt-mark showmanual|grep linux > > richard at richard-desktop:~$ apt-mark showmanual|grep linux console-setup-linux libselinux1 linux-generic util-linux richard at richard-desktop:~$ The above is what I get. It should show the kernels right?