Hello, Andrea G. Monaco, le dim. 10 janv. 2021 01:15:00 +0100, a ecrit: > 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.
That's not a problem: gnumach doesn't use them, it directly discusses with the VGA card. But it assumes that the card is initially in text mode, possibly that's not true with EFI. Samuel