Possible typo in Multiboot2 Specification

[Andrea G. Monaco]

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