Re: Trouble booting L4Re on PC hardware?

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 -- [email protected]
To unsubscribe send an email to [email protected]