At Wed, 16 Nov 2005 11:48:32 -0200, Matheus Morais <[EMAIL PROTECTED]> 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 _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
