Samuel Thibault, le dim. 17 nov. 2019 19:08:20 +0100, a ecrit: > Samuel Thibault, le dim. 17 nov. 2019 18:58:08 +0100, a ecrit: > > kvm -cdrom debian-sid-hurd-i386-NETINST-1.iso -bios OVMF.fd > > > > doesn't manage to boot it. Perhaps that's a kvm issue, or perhaps that's > > a grub-ia32 issue (since I can't boot a linux-i386 image either), > > Mmm, OVMF.fd is a 64bit firmware, perhaps it doesn't support loading > 32bit binaries?
Indeed, a 32bit version of OVMF is needed. I could grab one, and grub boots fine. gnumach however doesn't. I guess that could be because in EFI mode it won't find a BIOS-e820 table, so that's still a TODO, but apparently at least the debian-installer boot part is now supported. Samuel