Re: Why L4 should be aborted?

[Marcus Brinkmann]

At Wed, 16 Nov 2005 11:48:32 -0200,
Matheus Morais <address@hidden> wrote:
> I can't understand why the next generation of L4Ka Pistachio wouldn't give
> support to run Hurd on top of it? Someone can explain it to me please?

We don't _know_ if the next generation of L4 will be suitable for
general purpose capability operating systems of a large scale.

Part of the reason is that we don't know what the next generation of
L4 will be :) Espen Skoglund in Karlsruhe is working on what he calls
L4ng (I think).  The L4 group in Dresden is working on L4sec.

Another part of the reason is that we don't know how to implement an
efficient capability system based on the primitives which are
currently suggested for the upcoming specifications (there is a draft
of L4sec available, and Espen was very generous in explaining his
design to us, but there are still many question marks).

There are a couple of more reasons, but they are more subtle and have
even bigger question marks, so I will leave it at that.

So, there are some big question marks around these issues.  No
decision has been made yet.

Thanks,
Marcus