Comment 77 for bug 424927

Revision history for this message
Quartz (ghexsel) wrote :

You can configure the default boot kernel, set by order (for instance, always the top one), or by name.

It goes more or less like (you have to google for details)

vi /etc/default/grub
change GRUB_DEFAULT=0 value to wanted kernel (position or name)
run update-grub to update