I am looking for libraries to do coding on pistachio. As I understand
L4Env gives a bunch of libraries - memory management libraries
(dm_phys,...), l4io, etc. Could someone answer these questions:<br>
<br>
1. From L4Env's docs I see it being used only with fiasco source code.
Haven't come across any project that uses L4Env with pistachio. Any
dependencies that I don't know of? If not are there any examples?<br>
2. I want libraries for some basic functions - malloc, free, printf,
etc. L4Env needs oskit, l4linux2.2 and fiasco L4 kernel. Aren't there
any lightweight ways of getting such libraries for L4? Can parts of
L4Env used seperately in pistachio tree?<br>
3. I came across libCLight library which is the light implementation of
libc. I could get it compiled in my pistachio tree, as done in IoL4
project. Can anyone compare using malloc in libCLight and using DMPhys
of L4Env?<br>
<br>
Hope these questions are not that naive.<br>
<br>
Thanks in advance.<br>-- <br>Jayesh<br><br>