Re: from CoLinux to MoreLinux :D

Mario Marietto <[email protected]>
Newsgroups org.kernelnewbies.kernelnewbies
Message-ID <CA+1FSih=0jW7YMHROi8MrMaZYLHEx0KzqiqRAtUZaeTnE8KL8A@mail.gmail.com>
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.



On Fri, Dec 8, 2023 at 2:15 AM <[email protected]> wrote:

> On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto <[email protected]>
> wrote:
> >
> > What is this ?
> >
> > 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
>


-- 
Mario.

_______________________________________________
Kernelnewbies mailing list
[email protected]
https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.