Dear Adam, Thank you for your guidance. I will try it and will let you know the results.
Best regards, Quang Vào Thứ 6, 16 thg 1, 2026 vào lúc 18:55 Adam Lackorzynski <[email protected]> đã viết: > Dear Quang, > > On Fri Jan 09, 2026 at 23:05:21 +1100, Quang wrote: > > I'm following your guidance on the steps to get the RPi 4B running with > > L4Re (https://l4re.org/bsp/rpi.html). I can set up and run very well > with > > your steps. However, I think an image, especially l4re_vm-multi_rpi4.elf, > > is only for 3 VMs. > > Could you help me figure out how I can increase the number of VMs, and > each > > VM will run on a different OS, such as Ubuntu, Red Hat, or Kali Linux? > > Thank you for your support, and have a nice day. > > Increasing the number of VMs should be easy: Just do > $ l4image -i l4re_vm-multi_rpi4.elf edit --with-name vm-multi.cfg > and edit the script, adding more VM starts. > > Running different Linux variants from storage is not possible with this > simple setup as the emmc/sd driver is not part of it. But that's > possible. There's a description for adding emmc to another platform: > https://l4re.org/use-cases/s32g-emmc/index.html, and for rpi it is > similar. Could you give it a try? > > > Adam >
_______________________________________________ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected]
