from CoLinux to MoreLinux :D

[Mario Marietto]

Thanks. That's exactly what I was looking for. Actually we are trying to
boot FreeBSD with xen on our arm 32 Chromebook. But if it fails we could
try L4Linux. Yes,they say that's similar to xen,but with some important
differences that I haven't read and understood yet. Thanks for your
invitation to read. Yes,I'm very interested in all the virtualization stuff
all around,but I'm not sure that reading a complicated book will help me.
My training at the college has been totally different,I'm a psychologist.
Do you think that one can be able to learn by himself how an operating
system works by reading and studying a book found on the Internet,with the
support of a teacher ? Do you think that we can remove colleges from the
face of the earth ?

On Sat, Dec 9, 2023 at 8:01 PM Richard <richard_siegfried at systemli.org>
wrote:

> 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
>
> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at kernelnewbies.org
> https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>


-- 
Mario.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20231210/beb4ab57/attachment.html>