Bug#469578: 10_linux creates xen boot entries that don't work

[Felix Zielcke]

>Will list any vmlinu* entry, including xen kernels... ideally it should
>exclude xen, as they will have to be handled differently.

I've never used Xen, but i thought the -xen kernel should be run on domU and dom0.
So how should they be handled, can you please be more specific ?
Below is a patch which ignores *xen* kernels.



--- /etc/grub.d/10_linux        2008-07-22 14:05:41.784310665 +0200
+++ /etc/grub.d/10_linux        2008-07-22 14:07:30.299012258 +0200
@@ -150,7 +150,7 @@
 }

 list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
-        if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
+        if grub_file_is_not_garbage "$i" && ! is_xen_kernel ; then echo -n "$i " ; fi
       done`

 if [ "x$list" != "x" ] ; then
--- /usr/lib/grub/update-grub_lib       2008-07-22 14:05:20.983966822 +0200
+++ /usr/lib/grub/update-grub_lib       2008-07-22 14:08:46.695117181 +0200
@@ -156,3 +156,10 @@
   fi
   return 0
 }
+is_xen_kernel()
+{
+  case "$1" in
+    *xen*) return 0 ;;
+  esac
+  return 1;
+}