Re: UEFI PC?
Thomas Schmitt, le dim. 17 nov. 2019 18:35:34 +0100, a ecrit:
> Samuel Thibault wrote:
> > Mmm, actually I had tested with the amd64 debian iso image , not the
> > i386. The i386
> http://cdimage.debian.org/cdimage/release/10.2.0/i386/iso-cd/debian-10.2.0-i386-netinst.iso
> > has the same issue,
>
> Aren't amd64 and i386 GNU/Linux systems ?
They are
> Those have ISOLINUX equipment for PC-BIOS and GRUB for EFI. CD and USB stick.
Yes, but they use grub for EFI booting.
> Don't we talk about ISOs like
> https://cdimage.debian.org/cdimage/ports/current-hurd-i386/iso-cd/debian-hurd-2019-i386-NETINST-1.iso
Depends what exactly we are talking about. The original request is for
such image, yes, but apparently scripts building it don't have EFI
enabled indeed, I'm having a look.
Samuel
Reply to: