questions on L4Env and libraries for development on pistachio

Jayesh Salvi jayeshsalvi at
Fri Jun 10 07:59:54 CEST 2005

> You should try out 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: <>

More information about the l4-hackers mailing list