Hi Qiang, If I'm not mistaken, the provided BSP is using u-boot. With u-boot, the uimage file is a good fit. When booting up, you can stop at the u-boot prompt and do something like this: # fatload mmc 0 0x80f00000 fsl-s32g274a-evb.dtb # fatload mmc 0 0x80ffffc0 l4re_vm-multi-p2p_s32g.uimage # bootm 0x80ffffc0 - 0x80f00000
You need to copy the l4re_vm-multi-p2p_s32g.uimage file to the mmc first of course, for example, through Linux. Alternative you could also load the elf-image or raw-image into memory via your hardware debugger, whatever method the debugger supports. Do it by intercepting at the u-boot prompt. A third option is to use the tftp network capabilities of u-boot to load the uimage via network. Adam On Mon Jan 06, 2025 at 11:04:35 +0800, qiang xu wrote: > 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? _______________________________________________ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected]
