Re: VMs on L4Re
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 đã 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]
Re: VMs on L4Re
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]
VMs on L4Re
Dear L4Re team, 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. Best regards, Quang ___ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected]
