On 10/7/07, Andrew Wingorodov <mail@andr.ru> wrote:
>
> David Leimbach <leimy2k@gmail.com> wrote:
> > On 10/6/07, Charles Forsyth <forsyth@terzarima.net> wrote:
> >> qnx is probably the most reasonable so-called microkernel
> >> i've seen described
> >> (but i haven't seen their code).
> >
> > It's "open sourced" now, as of a few weeks ago.
>
> its was realy great news of a few weeks ago, i was squatting
> free and openqnx in ORG zones for fork of this project
> (if the owner will be wants to close the code again :)
>
> But IMH professonal O, the plan is much better.
> After all, IHateThisNotation() :)
>
> > Ever looked at the L4 family of microkernels?
>
> Linux is not interesting
> Lots of noise from nowhere
>

L4 has basically nothing to do with Linux.  There are ports of Linux to L4,
using it as a hardware architecture though, which provides many of the
benefits of things like Xen (running multiple instances of Linux etc)