search for: pc_00_add_xen_support

...; instead of what is shown below. And in fact, it works. > > I think that booting the Xen hypervisor should be more straightaway than > now (I had to modify the grub-pc configuration). > > Regards, > > Didier Hi, Here is a patch that solves bug #505517 in two steps?: * grub-pc_00_add_xen_support.patch Removes the xen kernels from 10_linux's listing (simply blacklisting *-xen-* kernels and initrds) * grub-pc_01_add_xen_support.patch * grub-pc_02_add_xen_support.patch * grub-pc_03_add_xen_support.patch Add a 10_xen in /etc/grub.d/ for support of the Xen hypervisors Lists all the *-x...