Re: from CoLinux to MoreLinux :D
Richard <[email protected]>
| Newsgroups | org.kernelnewbies.kernelnewbies |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected] > <mailto:[email protected]>> 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 <[email protected] > <mailto:[email protected]>> 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 <[email protected] > <mailto:[email protected]> > > <mailto:[email protected] <mailto:[email protected]>>> > wrote: > > > > On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto > > <[email protected] <mailto:[email protected]> > <mailto:[email protected] <mailto:[email protected]>>> > 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 > [email protected] > https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies _______________________________________________ Kernelnewbies mailing list [email protected] https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies