<div dir="ltr"><div>---> Neither FreeBSD nor Linux has a microkernel</div><div><br></div><div>Can you give a look here ?<br></div><div></div><div><br></div><div><a href="https://l4re.org/download/snapshots/">https://l4re.org/download/snapshots/</a></div><div><br></div><div>where it says :</div><div><br></div><div>"You are free to use any Linux distribution you like, or even BSDs or any of
its derivatives"<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 8, 2023 at 12:53 PM Mario Marietto <<a href="mailto:marietto2008@gmail.com">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="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" target="_blank">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" target="_blank">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" target="_blank">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" target="_blank">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" target="_blank">richard_siegfried@systemli.org</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);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" rel="noreferrer" target="_blank">jim.cromie@gmail.com</a> <br>
> <mailto:<a href="mailto:jim.cromie@gmail.com" rel="noreferrer" target="_blank">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" rel="noreferrer" target="_blank">marietto2008@gmail.com</a> <mailto:<a href="mailto:marietto2008@gmail.com" rel="noreferrer" 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 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>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Mario.<br></div>