Re: learning about "microkernel" based OS

arnuld schrieb:
> hai all,
>
> i asked a a similar question but this time my question is 50% different.
>
> Is "L4Ka::Pistachio" is a beginner's way to learn about "microkernel
> archictecture" & "microkernel based OSs" ?    (i am a beginner to OS
> development & programming)
As I don't have real hands-on experience yet with building and running
L4, I can't say for sure.
>From reading the L4 documentation I would say that L4 is a microkernel
with a very solid foundation. It implements the very basic operations
needed to protect processes from each other and to allow them to
communicate. Everything else is done in "user-level" processes. In my
opinion this is very good material for learning microkernel architecture.

To truly learn about microkernel based OSs you will have to look at one
of the projects which run a more traditional OS (for example, Linux) or
some experimental OS on top of L4. There are several options, and
depending on your needs, more than one of these would be interesting.

As far as I understand, the OS personalities on top of L4 are probably
less well documented than L4 itself, but I have not really looked into
them yet.

Cheers,
Hans-Martin