Samuel Thibault, le dim. 17 nov. 2019 21:31:50 +0100, a ecrit: > 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,
(FTR, from https://www.kraxel.org/repos/jenkins/edk2/ , https://www.kraxel.org/repos/jenkins/edk2/edk2.git-ovmf-ia32-0-20191016.1286.gc9af866cdd.noarch.rpm , the usr/share/edk2.git/ovmf-ia32/OVMF-pure-efi.fd file) Samuel
