Inmiddels heb ik bij het booten een aantal opstartmogelijkheden voor kernels. Als ik tevreden ben met een bepaalde nieuwe kernel, hoe verwijder ik dan de oude? En hoe verwijder ik de overeenkomstige entry uit GRUB?

[code:1:326730efc1]man grub[/code:1:326730efc1] :wink:

Kernels staan onder /boot
GRUB kun je wijzigen door het editten van /boot/grub/menu.lst (of grub.conf)