<div dir="auto"><font face="sans-serif"><span style="font-size:12.8px">Ok but then what it means what I read below (taken from wikipedia) :</span></font><div dir="auto"><font face="sans-serif"><span style="font-size:12.8px"><br></span></font><div dir="auto"><sup style="font-family:sans-serif">L4</sup><span style="font-family:sans-serif;font-size:12.8px">Linux also allows setting up a </span><a href="https://en.wikipedia.org/wiki/Virtualization" style="text-decoration-line:none;color:rgb(66,133,244);font-family:sans-serif;font-size:12.8px">virtualized</a><span style="font-family:sans-serif;font-size:12.8px"> environment vaguely similar to </span><a href="https://en.wikipedia.org/wiki/Xen" style="text-decoration-line:none;color:rgb(66,133,244);font-family:sans-serif;font-size:12.8px">Xen</a><span style="font-family:sans-serif;font-size:12.8px"> or </span><a href="https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine" style="text-decoration-line:none;color:rgb(66,133,244);font-family:sans-serif;font-size:12.8px">Kernel-bas</a><div dir="auto"><a href="https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine" style="text-decoration-line:none;color:rgb(66,133,244);font-family:sans-serif;font-size:12.8px">ed Virtual Machine</a><span style="font-family:sans-serif;font-size:12.8px"> (KVM), but a few significant differences exist</span><sup style="font-family:sans-serif"><i> </i></sup><span style="font-family:sans-serif;font-size:12.8px">between the intent of Xen and L</span><sup style="font-family:sans-serif">4</sup><span style="font-family:sans-serif;font-size:12.8px">Linux.</span></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il ven 8 dic 2023, 12:13 Richard <<a href="mailto:richard_siegfried@systemli.org">richard_siegfried@systemli.org</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
On 08.12.23 09:11, Mario Marietto wrote:<br>
> With l4linux (or redox) can I boot and run 2 linux distros using the <br>
> same kernel ? I ask because the developers talk about virtualization and <br>
> because CoLinux allows us to boot Linux while using Windows<br>
> What I'm very interested to achieve is to run Linux as a process under <br>
> FreeBSD or vice versa,using the best of those two microkernels.<br>
<br>
Neither FreeBSD nor Linux has a microkernel. From all your questions I <br>
think it would be helpful to read up on some Operating System Theory <br>
before you go on. I can recommend "Operating Systems - Three Easy <br>
Pieces" <br>
(<a href="https://techiefood4u.files.wordpress.com/2020/02/operating_systems_three_easy_pieces.pdf" rel="noreferrer noreferrer" target="_blank">https://techiefood4u.files.wordpress.com/2020/02/operating_systems_three_easy_pieces.pdf</a> <br>
)<br>
<br>
It's almost as good as the Tanenbaum Classic, but free.<br>
<br>
-- Richard<br>
<br>
<br>
> <br>
> <br>
> <br>
> On Fri, Dec 8, 2023 at 2:15 AM <<a href="mailto:jim.cromie@gmail.com" target="_blank" rel="noreferrer">jim.cromie@gmail.com</a> <br>
> <mailto:<a href="mailto:jim.cromie@gmail.com" target="_blank" rel="noreferrer">jim.cromie@gmail.com</a>>> wrote:<br>
> <br>
>     On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto<br>
>     <<a href="mailto:marietto2008@gmail.com" target="_blank" rel="noreferrer">marietto2008@gmail.com</a> <mailto:<a href="mailto:marietto2008@gmail.com" target="_blank" rel="noreferrer">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 noreferrer" target="_blank">https://l4re.org/download/snapshots/pre-built-images/arm-v7/</a><br>
>     <<a href="https://l4re.org/download/snapshots/pre-built-images/arm-v7/" rel="noreferrer 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 noreferrer" target="_blank">https://doc.redox-os.org/book/ch04-01-microkernels.html</a><br>
>     <<a href="https://doc.redox-os.org/book/ch04-01-microkernels.html" rel="noreferrer noreferrer" target="_blank">https://doc.redox-os.org/book/ch04-01-microkernels.html</a>><br>
> <br>
> <br>
> <br>
> -- <br>
> Mario.<br>
</blockquote></div>