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.
