Hi Martin-Éric, On Sun, 2025-01-19 at 12:14 +0200, Martin-Éric Racine wrote: > ipxe nowadays ships EFI binaries but still only produces GRUB menu > entries for the BIOS binary (lkrn). > > It might be a good idea to borrow some ideas from the memtest86+ GRUB > scripts to produce distinct menu entries. > > Best Regards, > Martin-Éric > > -- System Information: > Debian Release: trixie/sid > APT prefers testing-debug > APT policy: (500, 'testing-debug'), (500, 'stable-updates'), (500, > 'stable-security'), (500, 'stable-debug'), (500, 'testing'), (500, > 'stable') > Architecture: i386 (i686) > > Kernel: Linux 6.1.0-30-686-pae (SMP w/1 CPU thread; PREEMPT) > Locale: LANG=fi_FI.UTF-8, LC_CTYPE=fi_FI.UTF-8 (charmap=UTF-8), > LANGUAGE=fi:en > Shell: /bin/sh linked to /usr/bin/dash > Init: systemd (via /run/systemd/system) > LSM: AppArmor: enabled > > -- no debconf information
In actual fact ipxe creates only a 64 bit EFI binary [1] and, on an EFI platform, tailors the GRUB menu entry to pointing to it [2]. According to your System Information you are running a 32 bit system for which ipxe currently does not create an EFI binary at all. Not sure what would happen if you would select ipxe's GRUB menu entry. Admittedly ipxe's current GRUB script is somewhat messy and requires improvements anyway. Thanks for pointing to memtest86+. Consequently I assume you are requesting ipxe to provide also a 32 bit EFI binary and that being supported with GRUB. Do you confirm? Sven [1] https://sources.debian.org/src/ipxe/1.21.1%2Bgit20220113.fbbdc3926%2Bdfsg-2/debian/rules/#L30 [2] https://sources.debian.org/src/ipxe/1.21.1%2Bgit20220113.fbbdc3926%2Bdfsg-2/debian/ipxe.grub/#L27 -- GPG Fingerprint 3DF5 E8AA 43FC 9FDF D086 F195 ADF5 0EDA F8AD D585
signature.asc
Description: This is a digitally signed message part
