questions on L4Env and libraries for development on pistachio

[Jayesh Salvi]

> You should try out Kenge. http://www.disy.cse.unsw.edu.au/Software/Kenge.
> 
> We provide a small libc that can be targeted to a variety of environments.
> 
> There are also a number of other libraries that might be of use.
> 
That's very helpful. I will have a look at it. I had heard of Iguana, Mungi, 
but maybe missed this one. Thanks a bunch.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20050610/d0dd710d/attachment.htm>