from CoLinux to MoreLinux :D

[Mario Marietto]

---> 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 <marietto2008 at 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_siegfried at 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.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.
>>
>

-- 
Mario.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20231209/70e0d18c/attachment.html>