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 adam@l4re.org 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 -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de