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]
