Re: Trouble booting L4Re on PC hardware?

2025-03-14 Thread Martin Decky 

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]

Re: Trouble booting L4Re on PC hardware?

2025-03-14 Thread Matthias Lange 
Hi Richard,

On [07-03-2025 14:41], Richard Clark wrote:
> Hi!
> 
> I've had much success building and running my applications in QEMU. No issues 
> there.
> But now I've got myself some real hardware. Windows boots on it. Debian Linux 
> boots on it.
> Linux even boots from the USB I create with rufus. No problems there.
> What I would like to do, is to take the system.iso image that normally runs 
> under QEMU (x86_64),
> burn that to my USB stick (same way I put linux boot on there), and then boot 
> the USB stick.
> The hardware will boot from the USB, and the image copy to the USB appears to 
> work,
> since I've done that and booted linux. But I cannot seem to get the 
> system.iso file to boot.
> I've tried UEFI boot, Classic boot, copy as UEFI image, and copy as DD image.
> It seems to ignore the USB drive and (by default) boot windows from the NVME 
> drive.
> The device has no serial port. Just an HDMI screen with USB mouse and 
> keyboard.
> It does have ethernet ports and I could try that, but it doesn't appear that 
> the UEFI bios
> supports TFTP.

We'll investigate the USB/ISO problem.

> How do I take my QEMU work and boot it on a real PC?

To get your L4Re setup booting on real hardware for now, here is what you can
do:

1. Install Debian on your machine.
2. Build an export pack of your L4Re scenario
3. Copy it to your Debian machine
4. Reboot

Ok, a little bit more details :-)

1. This should be fairly straight forward.

2. Change into your L4Re build directory. You need to create a temporary
   directory e.g. with

   ```
   $ mktemp -d
   /tmp/tmp.soGNjpmduF
   ```

   Then you can create an export pack with (replace the entry name with your
   entry)

   ```
   $ make exportpack EXPORTPACKTARGETDIR=/tmp/tmp.soGNjpmduF E=hello
   ```

   In `/tmp/tmp.soGNjpmduF` you will find all binaries and config files plus a
   `grub.cfg` with a menu entry for grub2.

3. You copy all the binaries and config files to your Debian machine to
   `/boot/l4re/`.

   Then you copy `grub.cfg` to your Debian machine to `/boot/grub/custom.cfg`.

   Then you need to do some adaptions to `/boot/grub/custom.cfg`.

   You need to load the `multiboot2` module. Insert `insmod multiboot2` as the
   first line into the menuentry.

   And finally you need to adapt the path to the binaries. For exampel the line

   ```
   multiboot2 /bootstrap /bootstrap
   ```

   becomes

   ```
   multiboot2 /boot/l4re/bootstrap /bootstrap
   ```

4. Now reboot. The grub menu should display your L4Re entry. Select and boot.

Best,
Matthias.

> Thanks!
> 
> Richard
> 
> 

> ___
> l4-hackers mailing list -- [email protected]
> To unsubscribe send an email to [email protected]


-- 
Matthias Lange  phone: +49 (0) 351-41 888 614
Customer Engineer Specialistweb: https://www.kernkonzept.com

Kernkonzept GmbH
Buchenstraße 16b
01097 Dresden

Geschäftsführer: Dr.-Ing. Michael Hohmuth
Registergericht: Amtsgericht Dresden
Handelsregister: HRB 31129

You might not be working when I am and that's ok! Please make sure to only
reply when it suits you. Mails can wait.
___
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]