Managing Kernels

1. Use this command to check your available kernels:
grep ^title /boot/grub/grub.conf
2. Count from 1 to 10 (or however many there are). Pick the kernel that you want. Then run this command:
vi /boot/grub/grub.conf
3. Arrow down to "default=1" (or whatever number it says), press "a" to enter insert mode, scroll over to the 1, press the delete key, and then type the number of the new kernel. When you are satisfied that it is correct, press "esc" and then "Shift + :", then "wq" followed by "Enter".