from CoLinux to MoreLinux :D

[Richard]

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.cromie at gmail.com 
> <mailto:jim.cromie at gmail.com>> wrote:
> 
>     On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto
>     <marietto2008 at gmail.com <mailto:marietto2008 at 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.