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 <[email protected] <mailto:[email protected]>> wrote:On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto <[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/> > 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.
_______________________________________________ Kernelnewbies mailing list [email protected] https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
