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/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
