On 29 April 2014 21:04, Rick Magraw <rsmagraw at gmail.com> wrote: > Yes, there are a whole bunch: This will give you various ways of removing the old kernels http://askubuntu.com/questions/2793/how-do-i-remove-or-hide-old-kernel-versions-to-clean-up-the-boot-menu-or-free-sp Colin