Re: [iKGT] UEFI support

Hi, I'd like to use IKGT in a UEFI environment, but we require access to the UEFI runtime services and to boot via the Linux UEFI handover protocol. My understanding is that this is made difficult by the Multiboot specification only providing 32-bit support and not passing ImageHandle. So: 1) Other than these boot limitations, is there anything else in xmon that assumes 32-bit? 2) I'm considering just implementing a replacement loader as an EFI executable rather than worrying about the limitations of the multiboot spec. Do you have any better ideas? -- Matthew Garrett | mjg59(a)srcf.ucam.org