Re: from CoLinux to MoreLinux :D

[email protected]
Newsgroups gmane.linux.kernel.kernelnewbies
Message-ID <CAJfuBxxWZ16OPqCZ3PiyKUzGXMGj3WZzWud3GOPNb7_LgLYh=g@mail.gmail.com> 
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

_______________________________________________
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.