Yasir Assam wrote: > Will doing 'apt-get upgrade' or 'apt-get dist-upgrade' install the > default kernel? Will it leave mine in the GRUB menu at least? Doing a dist-upgrade will NOT upgrade the kernel.