Re: VMs on L4Re
Quang <[email protected]> Fri, 16 Jan 2026 19:06:25 +1100
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAMukQ0fKQdWc0Wowz0MMq1hwdbMLC2tZcx5i1hQ-1oS0A-byCA@mail.gmail.com> |
--===============5219380695653584105== Content-Type: multipart/alternative; boundary="0000000000007d8e7806487cd34c" --0000000000007d8e7806487cd34c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Adam, Thank you for your guidance. I will try it and will let you know the results. Best regards, Quang V=C3=A0o Th=E1=BB=A9 6, 16 thg 1, 2026 va=CC=80o lu=CC=81c 18:55 Adam Lacko= rzynski <[email protected]> =C4=91=C3=A3 vi=E1=BA=BFt: > 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.el= f, > > 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 > --0000000000007d8e7806487cd34c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">Dear Adam,<div><br></div><div>Thank you for your guidance.= I will try it and will let you know the results.</div><div><br></div><div>= Best regards,</div><div>Quang</div></div><br><div class=3D"gmail_quote gmai= l_quote_container"><div dir=3D"ltr" class=3D"gmail_attr">V=C3=A0o Th=E1=BB= =A9 6, 16 thg 1, 2026 va=CC=80o lu=CC=81c 18:55 Adam Lackorzynski <<a hr= ef=3D"mailto:[email protected]">[email protected]</a>> =C4=91=C3=A3 vi=E1=BA=BFt= :<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.= 8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204= ,204,204);padding-left:1ex">Dear Quang,<br> <br> On Fri Jan 09, 2026 at 23:05:21 +1100, Quang wrote:<br> > I'm following your guidance on the steps to get the RPi 4B running= with<br> > L4Re (<a href=3D"https://l4re.org/bsp/rpi.html" rel=3D"noreferrer" tar= get=3D"_blank">https://l4re.org/bsp/rpi.html</a>). I can set up and run ver= y well with<br> > your steps. However, I think an image, especially l4re_vm-multi_rpi4.e= lf,<br> > is only for 3 VMs.<br> > Could you help me figure out how I can increase the number of VMs, and= each<br> > VM will run on a different OS, such as Ubuntu, Red Hat, or Kali Linux?= <br> > Thank you for your support, and have a nice day.<br> <br> Increasing the number of VMs should be easy: Just do<br> $ l4image -i l4re_vm-multi_rpi4.elf edit --with-name vm-multi.cfg<br> and edit the script, adding more VM starts.<br> <br> Running different Linux variants from storage is not possible with this<br> simple setup as the emmc/sd driver is not part of it. But that's<br> possible. There's a description for adding emmc to another platform:<br= > <a href=3D"https://l4re.org/use-cases/s32g-emmc/index.html" rel=3D"noreferr= er" target=3D"_blank">https://l4re.org/use-cases/s32g-emmc/index.html</a>, = and for rpi it is<br> similar. Could you give it a try?<br> <br> <br> Adam<br> </blockquote></div> --0000000000007d8e7806487cd34c-- --===============5219380695653584105== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected] --===============5219380695653584105==--