update-grub: switching the order of native vs. Xen menu entries

[Ian Campbell]

Hi,

Currently we have 10_linux and 20_linux_xen in /etc/grub.d meaning that
the native menu entries take priority over the Xen ones.

Would it be possible to reverse the order? I think it would normally be
expected that if you have Xen installed you want to boot it by default.

Speaking to Adam at UDS a few weeks ago he said that the current
situation arose because of past concerns over the number of failures to
boot dom0 under Xen. We believe things have improved on this front with
current versions of Xen, obviously if there are still known bad cases
we'd like to hear about them, likewise if new ones crop up in the
future.

This request applies to both Debian and Ubuntu update-grub. I suppose it
must have missed the boat for Wheezy though, but for Jessie perhaps?

I can put this in a wishlist bug in one or both of b.d.o and launchpad
if you would like.

Thanks,
Ian.

-- 
Ian Campbell
Current Noise: Venom - Leave Me In Hell

Scenery is here, wish you were beautiful.