Re: Can't boot GNU Mach with efi

[jbranso]

So, you got GNU Mach to boot with EFI?  Wow!  That's awesome!

February 6, 2021 4:14 PM, "Paul Dufresne" <dufresnep@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.