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
