from CoLinux to MoreLinux :D

[Richard]

I looked at this,

L4 is a family of Microkernels: 
https://en.wikipedia.org/wiki/L4_microkernel_family

L4Re is a project to let other operating system kernels run as processes 
on top of a L4 Kernel. But they are still monolithic kernels even when 
you run them on top of another kernel. Actually all this is similar to Xen.

Since you are interested in those things I would really recommend 
reading one of the textbooks. "Modern Operating Systems" by Tanenbaum 
even has a chapter on exactly this it's called "Are hypervisors 
microkernels done right?"

-- Richard


On 09.12.23 14:24, Mario Marietto wrote:
> ---> Neither FreeBSD nor Linux has a microkernel
> 
> Can you give a look here ?
> 
> https://l4re.org/download/snapshots/ <https://l4re.org/download/snapshots/>
> 
> where it says :
> 
> "You are free to use any Linux distribution you like, or even BSDs or 
> any of its derivatives"
> 
> On Fri, Dec 8, 2023 at 12:53 PM Mario Marietto <marietto2008 at gmail.com 
> <mailto:marietto2008 at gmail.com>> wrote:
> 
>     Ok but then what it means what I read below (taken from wikipedia) :
> 
>     ^L4 Linux also allows setting up a virtualized
>     <https://en.wikipedia.org/wiki/Virtualization> environment vaguely
>     similar to Xen <https://en.wikipedia.org/wiki/Xen> or Kernel-bas
>     <https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine>
>     ed Virtual Machine
>     <https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine> (KVM),
>     but a few significant differences exist^// between the intent of Xen
>     and L^4 Linux.
> 
>     Il ven 8 dic 2023, 12:13 Richard <richard_siegfried at systemli.org
>     <mailto:richard_siegfried at systemli.org>> ha scritto:
> 
> 
> 
>         On 08.12.23 09:11, Mario Marietto wrote:
>          > 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
>          > 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.
> 
>         Neither FreeBSD nor Linux has a microkernel. From all your
>         questions I
>         think it would be helpful to read up on some Operating System
>         Theory
>         before you go on. I can recommend "Operating Systems - Three Easy
>         Pieces"
>         (https://techiefood4u.files.wordpress.com/2020/02/operating_systems_three_easy_pieces.pdf <https://techiefood4u.files.wordpress.com/2020/02/operating_systems_three_easy_pieces.pdf>
>         )
> 
>         It's almost as good as the Tanenbaum Classic, but free.
> 
>         -- Richard
> 
> 
>          >
>          >
>          >
>          > On Fri, Dec 8, 2023 at 2:15 AM <jim.cromie at gmail.com
>         <mailto:jim.cromie at gmail.com>
>          > <mailto:jim.cromie at gmail.com <mailto:jim.cromie at gmail.com>>>
>         wrote:
>          >
>          >     On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto
>          >     <marietto2008 at gmail.com <mailto:marietto2008 at gmail.com>
>         <mailto:marietto2008 at gmail.com <mailto:marietto2008 at gmail.com>>>
>         wrote:
>          >      >
>          >      > What is this ?
>          >      >
>          >      >
>         https://l4re.org/download/snapshots/pre-built-images/arm-v7/
>         <https://l4re.org/download/snapshots/pre-built-images/arm-v7/>
>          >   
>           <https://l4re.org/download/snapshots/pre-built-images/arm-v7/
>         <https://l4re.org/download/snapshots/pre-built-images/arm-v7/>>
>          >      >
>          >
>          >     Thats a micro-kernel, sort of like GNU Hurd.
>          >
>          >     theres also
>          > https://doc.redox-os.org/book/ch04-01-microkernels.html
>         <https://doc.redox-os.org/book/ch04-01-microkernels.html>
>          >     <https://doc.redox-os.org/book/ch04-01-microkernels.html
>         <https://doc.redox-os.org/book/ch04-01-microkernels.html>>
>          >
>          >
>          >
>          > --
>          > Mario.
> 
> 
> 
> -- 
> Mario.
> 
> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at kernelnewbies.org
> https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies