If I choose "advanced options" which usually means "recovery mode" it
did in fact list

upstream kernel
recovery mode upstream kernel
stock kernel
recovery mode stock kernel

I would never have guessed that this is how to boot either kernel.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1100958

Title:
  raring grub-pc does not allow choice of stock kernel vs mainline
  kernel

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1100958/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to