On Mon, Aug 26, 2019 at 06:51:45AM +0000, Emmanuel Dreyfus wrote: > I would like to add multiboot support to bootx64.efi. Sorry for asking dumb questions, but: does this make sense? How do others boot XEN on a UEFI system? Martin (who last did i386 assembly when it had 20 bits of usable address space)