Hi Adam, Thank you for your response.
I found the following images in the L4Re pre-built images folder: “l4re_vm-multi-p2p_s32g.efi,” “l4re_vm-multi-p2p_s32g.elf,” and “l4re_vm-multi-p2p_s32g.uimage.” I would like to understand how these images can be combined with the BSP built using Yocto and placed on the SD card for booting. I have been following the examples from the L4Re wiki <https://github.com/kernkonzept/manifest/wiki/MultipleVMs> to get started with L4Re. These examples run very well on QEMU, but there is an issue—I am unable to use GDB to debug the Fiasco kernel.I noticed that L4Re can also run on the S32G platform, so I would like to run L4Re on S32G and use a hardware debugging tool to debug the Fiasco kernel during its execution. However, the wiki does not provide instructions on how to run L4Re on real hardware.Therefore, I would like your guidance on how to run the examples from the wiki <https://github.com/kernkonzept/manifest/wiki/MultipleVMs> on the S32G platform and boot from an SD card. Regards, Qiang On Mon, Jan 6, 2025 at 9:56 AM Adam Lackorzynski <[email protected]> wrote: > Hi Qiang, > > On Sat Jan 04, 2025 at 17:03:21 +0800, qiang xu wrote: > > I would like to know how to run L4Re on the S32G. I couldn’t find any > > related documentation. I’m a beginner in this technical field, so could > you > > provide friendly step-by-step instructions? > > One option is to use the snapshot from l4re.org as it has a menu-driven > target selection which includes the S32G. This hides quite a few of the > details but gives examples for the S32G right away. > How do you boot your S32G? > > > > Adam >
_______________________________________________ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected]
