At Mon, 03 Jul 2006 09:20:59 +0200, Christian Hütter <[EMAIL PROTECTED]> wrote: > > [1 <multipart/signed (7bit)>] > [1.1 <text/plain; us-ascii (7bit)>] > Hi list, > > when I wrote about a problem I encountered with pistachio about two > weeks ago, I was told that L4Ka::Pistachio is not (mainly) used among > the developers due to security issues. Since I wanted to play around > with Hurd on L4 a little and (if happy) try to contribute to the project > myself (if I can...), I would really like to use the right kernel.
Right now, the main developers are doing something else entirely in real life, so currently the project is mostly stalled. We are looking at recent developments in the EROS/Coyotos project (www.coyotos.org), as well as recent developments in all of the L4 groups (Karlsruhe, Dresden, Sydney) with keen interest. I should say however, that there are many questions that are more important than the choice of a particular microkernel implementation. The order of progress should be: Get certainty about the Hurd design, then figure out what the requirements are to implement such a design, then look for a microkernel that fits best. I think it is fair to say at this point that this project has, in its history, been heavily influences by both of the above microkernel projects, and that our current design puts us somewhere in the middle between these projects, mostly on common ground, actually. Thanks, Marcus _______________________________________________ L4-hurd mailing list L4-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/l4-hurd
