[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


From: Samuel Thibault
Subject: Re: UEFI PC?
Date: Sun, 17 Nov 2019 21:31:50 +0100
User-agent: NeoMutt/20170609 (1.8.3)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]