Dear Richard,
On 2025-03-07 15:41, Richard Clark wrote:
[...]
But I cannot seem to get the system.iso file to boot.
When you create your L4Re ISO image, do see one of the following two messages? Either:
"Note: Created UEFI ISO. ..."
Or:
"Note: Created hybrid PC/UEFI ISO. ..."
Without that, most UEFI implementations (and BIOS implementations, for that matter) won't boot an ISO image from a USB stick. You would have to burn the image to a physical CD or DVD medium to boot it successfully.
(It is technically possible to craft a BIOS-only ISO image in a special way in order to be bootable both from a CD/DVD and from a USB stick, but we don't do that currently.)
In case you use Debian, installing the grub-efi-amd64 package might enable you to create the UEFI or hybrid ISO. But I'm not a Debian user, thus I cannot confirm.
Of course, Matthias' approach should definitively also work.
Best regards
Martin Decky _______________________________________________ l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de