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 Specialist web: 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]
