On Sat, Apr 25, 2020 at 11:38:51PM +0000, Andy Smith wrote: > I see the error message comes from: > > grub-core/loader/i386/xen_file.c > 92: grub_error (GRUB_ERR_BAD_OS, "not xen image");
Some further investigation reveals that if I boot these kernels with the PVH image (./configure --target=x86_64 --with-platform=xen_pvh …) then it does work. I guess that will be the path of least resistance since I was planning to switch everything to PVH mode anyway. Cheers, Andy _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
