Hi !
have excatly the same problem with the -server and generic-pae kernel.
In my configs XEN_PRIVILEGED_GUEST is NOT set (acutal system, yesterday
updated).
I have done a small fix for update-grub:
--- update-grub.old 2011-04-06 17:37:34.198906717 +0200
+++ update-grub 2011-04-06 17:37:20.437907250 +0200
@@ -1382,7 +1382,7 @@
xenKernels=""
-for ver in `grep -l CONFIG_XEN_PRIVILEGED_GUEST=y /boot/config* | sed -e
s%/boot/config-%%`; do
+for ver in `grep -l CONFIG_XEN=y /boot/config* | sed -e s%/boot/config-%%`; do
# ver is a kernel version
kern="/boot/vmlinuz-$ver"
if [ -r $kern ] ; then
@@ -1413,7 +1413,7 @@
sortedKernels=""
for kern in $(/bin/ls -1vr /boot | grep -v "dpkg-*" | grep "^vmlinuz-") ; do
- if `echo "$xenKernels" | grep -q "$kern "` || `echo "$kern" | grep -q
"xen"`; then
+ if `echo "$xenKernels" | grep -q "$kern"` || `echo "$kern" | grep -q
"xen"`; then
is_xen=1
else
is_xen=
Regards,
Sebastian
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/586756
Title:
update-grub ignores pvops kernels on Xen domU
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
