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)