<div dir="ltr"><p>Infact from Wikipedia I can read :<br></p><p>L⁴Linux also allows setting up a <a href="https://en.wikipedia.org/wiki/Virtualization" title="Virtualization" target="_blank">virtualized</a> environment vaguely similar to <a href="https://en.wikipedia.org/wiki/Xen" title="Xen" target="_blank">Xen</a> or <a href="https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine" title="Kernel-based Virtual Machine" target="_blank">Kernel-based Virtual Machine</a> (KVM), but a few significant differences exist^<i> </i>between the intent of Xen and L⁴Linux.</p><p><br></p><p>With Redox can I do the same ?<br>
</p></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 8, 2023 at 9:11 AM Mario Marietto <<a href="mailto:marietto2008@gmail.com" target="_blank">marietto2008@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>With l4linux (or redox) can 
I boot and run 2 linux distros using the same kernel ? I ask because the developers talk about virtualization and because CoLinux allows us to boot Linux while using Windows</div><div>What I'm very interested to achieve is to run Linux as a process under FreeBSD or vice versa,using the best of those two microkernels. <br></div><div><p><br>
  </p> </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 8, 2023 at 2:15 AM <<a href="mailto:jim.cromie@gmail.com" target="_blank">jim.cromie@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto <<a href="mailto:marietto2008@gmail.com" target="_blank">marietto2008@gmail.com</a>> wrote:<br>
><br>
> What is this ?<br>
><br>
> <a href="https://l4re.org/download/snapshots/pre-built-images/arm-v7/" rel="noreferrer" target="_blank">https://l4re.org/download/snapshots/pre-built-images/arm-v7/</a><br>
><br>
<br>
Thats a micro-kernel, sort of like GNU Hurd.<br>
<br>
theres also<br>
<a href="https://doc.redox-os.org/book/ch04-01-microkernels.html" rel="noreferrer" target="_blank">https://doc.redox-os.org/book/ch04-01-microkernels.html</a><br>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Mario.<br></div>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Mario.<br></div>