Re: L4 etc. (was: GSoC results!)

[Lluis]

El Thu, Oct 02, 2008 at 02:53:57AM +0200, olafBuddenhagen@gmx.net ens deleit� 
amb les seg�ents paraules:
[...]
> In fact, the only Hurd-related microkernel work I'm aware of is Neal's 
> Viengoos stuff -- and even there, although Neal certainly had Hurd's 
> requirements in mind when creating it, I don't think he actually intends 
> to port the Hurd to it himself...

But what is it's current state?  And which are the insights on its design?  

I know, there is a latex document in the repository on viengoos, but I 
haven't had a throrough look at it and so I don't know the answers to those 
questions. Just knowing if the answers are there would be enough.

Thanks,
    Lluis

-- 
 "And it's much the same thing with knowledge, for whenever you learn
 something new, the whole world becomes that much richer."
 -- The Princess of Pure Reason, as told by Norton Juster in The Phantom
 Tollbooth
 
 Listening: Fates Warning (Still Life (CD1)) - 12. A Pleasant Shade Of Gray XII