---> Neither FreeBSD nor Linux has a microkernel Can you give a look here ?
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 <marietto2...@gmail.com> wrote: > Ok but then what it means what I read below (taken from wikipedia) : > > L4Linux 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 L4Linux. > > Il ven 8 dic 2023, 12:13 Richard <richard_siegfr...@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 >> ) >> >> It's almost as good as the Tanenbaum Classic, but free. >> >> -- Richard >> >> >> > >> > >> > >> > On Fri, Dec 8, 2023 at 2:15 AM <jim.cro...@gmail.com >> > <mailto:jim.cro...@gmail.com>> wrote: >> > >> > On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto >> > <marietto2...@gmail.com <mailto:marietto2...@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/> >> > > >> > >> > 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> >> > >> > >> > >> > -- >> > Mario. >> > -- Mario.
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies