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 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 on the S32G platform and boot from an SD card.

Regards,

Qiang