So, you got GNU Mach to boot with EFI? Wow! That's awesome! February 6, 2021 4:14 PM, "Paul Dufresne" <dufres...@zoho.com> wrote:
> I just wrote: >> The question is... how to we get the EFI_SYSTEM_TABLE, that was read by >> BOOTX64.EFI (which I > believe is part of Grub binary package)... >> or is there an other way to get it again? > > That is much easier than I thought! > This manual explains it: > https://www.gnu.org/software/grub/manual/multiboot2/html_node/Index.html#SEC_Contents > Section 3.6.13 and 3.6.14 show hot to get the table. > Section 3.6 have more interesting infos. > > Also, see 3.3 to know the state in which Grub boot the 32 bit OS. > I guess EAX value can be used to know if the UEFI is 32 or 64 bits.
