VMs on L4Re

Quang <[email protected]> Fri, 9 Jan 2026 23:05:21 +1100
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <CAMukQ0cs76_+odjL4eQk-drXsh+QFFg8iHuOv3PAhwfc=p2swg@mail.gmail.com>
--===============6054061731432703718==
Content-Type: multipart/alternative; boundary="0000000000001d4fec0647f35931"

--0000000000001d4fec0647f35931
Content-Type: text/plain; charset="UTF-8"

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

--0000000000001d4fec0647f35931
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Dear L4Re team,<div><br></div><div>I&#39;m following your =
guidance on the steps to get the RPi 4B running with L4Re (<a href=3D"https=
://l4re.org/bsp/rpi.html">https://l4re.org/bsp/rpi.html</a>). I can set=C2=
=A0up and run very well with your steps. However, I think an image, especia=
lly l4re_vm-multi_rpi4.elf, is only for 3 VMs.=C2=A0</div><div>Could you he=
lp me=C2=A0figure out how I can increase the number of VMs, and each VM wil=
l run on a=C2=A0different OS, such as Ubuntu, Red Hat, or Kali Linux?</div>=
<div>Thank you for your support, and have a nice day.</div><div><br></div><=
div>Best regards,</div><div>Quang</div></div>

--0000000000001d4fec0647f35931--

--===============6054061731432703718==
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]

--===============6054061731432703718==--