Okay, closing again. I still don’t think that’s the proper fix, though;
even if update-grub can DTRT, it’s confusing to _humans_ that
vmlinuz-2.6.20-9-generic is a normal kernel and vmlinuz-2.6.19-4-generic
is a xen kernel (and this will cause “real” problems when the xen kernel
is upgraded to 2.6.20).
** Changed in: xen-source (Ubuntu)
Status: Unconfirmed => Fix Released
--
xen kernel shows up incorrectly in GRUB boot menu
https://launchpad.net/bugs/84929
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
