Bug#500336: possible solutions?

[Thomas Viehmann]

Hi,

presently, grub scans the /boot/config-* for CONFIG_PARAVIRT aand
CONFIG_XEN to find xen dom0 kernels:

# Second new style CONFIG_PARAVIRT kernels with xen support. There is
# no distinction between xen0 and xenU in these kernels.
for ver in `grep -l CONFIG_PARAVIRT=y /boot/config* | sed -e
s%/boot/config-%%`; do
  if ! grep -q CONFIG_XEN=y /boot/config-$ver ; then

The most obivous choice of avoiding to select the wrong Debian-provided
kernel would be to look for /boot/config-*xen* kernels only.
This might, however, screw users building their own.
An alternative might be to this restriction for >= 2.6.2x kernels only.

A third option could be to look whether /var/lib/$VERSION/xen-versions
exists, but similar concerns may apply.

Opinions?

Kind regards

T.
-- 
Thomas Viehmann, http://thomas.viehmann.net/