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 &lt;<a hr=
ef=3D"mailto:[email protected]">[email protected]</a>&gt; =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>
&gt; I&#39;m following your guidance on the steps to get the RPi 4B running=
 with<br>
&gt; 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>
&gt; your steps. However, I think an image, especially l4re_vm-multi_rpi4.e=
lf,<br>
&gt; is only for 3 VMs.<br>
&gt; Could you help me figure out how I can increase the number of VMs, and=
 each<br>
&gt; VM will run on a different OS, such as Ubuntu, Red Hat, or Kali Linux?=
<br>
&gt; 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&#39;s<br>
possible. There&#39;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==--