Hello everyone,
I found a possible typo in Multiboot2 Specification. In https://www.gnu.org/software/grub/manual/multiboot2/multiboot.html#EFI-amd64-machine-state-with-boot-services-enabled ("3.5 EFI amd64 machine state with boot services enabled") you write that EBX register must hold a "64-bit physical address". Is this possible? EBX is 32 bits. In fact, you later write that "the bootloader must not load any part of the kernel, the modules, the Multiboot2 information structure, etc. higher than 4 GiB - 1". Let me know, Andrea Monaco
