from CoLinux to MoreLinux :D
Mario Marietto
marietto2008 at gmail.com
Sat Dec 9 19:04:24 EST 2023
Errata corrige : without the support of a teacher.
On Sun, Dec 10, 2023 at 1:02 AM Mario Marietto <marietto2008 at gmail.com>
wrote:
> Thanks. That's exactly what I was looking for. Actually we are trying to
> boot FreeBSD with xen on our arm 32 Chromebook. But if it fails we could
> try L4Linux. Yes,they say that's similar to xen,but with some important
> differences that I haven't read and understood yet. Thanks for your
> invitation to read. Yes,I'm very interested in all the virtualization stuff
> all around,but I'm not sure that reading a complicated book will help me.
> My training at the college has been totally different,I'm a psychologist.
> Do you think that one can be able to learn by himself how an operating
> system works by reading and studying a book found on the Internet,with the
> support of a teacher ? Do you think that we can remove colleges from the
> face of the earth ?
>
> On Sat, Dec 9, 2023 at 8:01 PM Richard <richard_siegfried at systemli.org>
> wrote:
>
>> I looked at this,
>>
>> L4 is a family of Microkernels:
>> https://en.wikipedia.org/wiki/L4_microkernel_family
>>
>> L4Re is a project to let other operating system kernels run as processes
>> on top of a L4 Kernel. But they are still monolithic kernels even when
>> you run them on top of another kernel. Actually all this is similar to
>> Xen.
>>
>> Since you are interested in those things I would really recommend
>> reading one of the textbooks. "Modern Operating Systems" by Tanenbaum
>> even has a chapter on exactly this it's called "Are hypervisors
>> microkernels done right?"
>>
>> -- Richard
>>
>>
>> On 09.12.23 14:24, Mario Marietto wrote:
>> > ---> Neither FreeBSD nor Linux has a microkernel
>> >
>> > Can you give a look here ?
>> >
>> > https://l4re.org/download/snapshots/ <
>> 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
>> > <mailto:marietto2008 at gmail.com>> wrote:
>> >
>> > Ok but then what it means what I read below (taken from wikipedia) :
>> >
>> > ^L4 Linux 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 L^4 Linux.
>> >
>> > Il ven 8 dic 2023, 12:13 Richard <richard_siegfried at systemli.org
>> > <mailto: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
>> <
>> 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>
>> > > <mailto: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>
>> > <mailto: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/>
>> > >
>> > <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>
>> > > <https://doc.redox-os.org/book/ch04-01-microkernels.html
>> > <https://doc.redox-os.org/book/ch04-01-microkernels.html>>
>> > >
>> > >
>> > >
>> > > --
>> > > Mario.
>> >
>> >
>> >
>> > --
>> > Mario.
>> >
>> > _______________________________________________
>> > Kernelnewbies mailing list
>> > Kernelnewbies at kernelnewbies.org
>> > https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>>
>> _______________________________________________
>> Kernelnewbies mailing list
>> Kernelnewbies at kernelnewbies.org
>> https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>>
>
>
> --
> Mario.
>
--
Mario.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20231210/f1510ca5/attachment-0001.html>
More information about the Kernelnewbies
mailing list