Re: UEFI PC?

[Samuel Thibault]

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