Re: UEFI PC?

[Samuel Thibault <sthibault@debian.org>]

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