Hello,
it seems that GNU Mach doesn't work with EFI. It's not that I'm fond of EFI, in fact I hate it because it makes booting so difficult, but right now I have only an EFI system available. Also, I heard that many boot firmwares nowadays have only EFI and no BIOS, or they just provide a very partial Legacy BIOS Mode. When I issue a "multiboot /boot/gnumach.gz" in grub2 it just says "warning: no console will be available to OS", stops for some seconds, then reboots. After some research, I found that EFI doesn't provide a VGA text mode (https://forum.osdev.org/viewtopic.php?f=1&t=28429) and offers different graphic primitives than BIOS. Text mode is replaced with a thing called "Console I/O Protocol". So, to add EFI support, Mach should either start with a framebuffer console or use this console protocol. Is this correct? Has anyone ever worked on it? Warmly, Andrea Monaco
