questions on L4Env and libraries for development on pistachio

[Jayesh Salvi]

> L4Env by no means needs oskit or l4linux2.2. It needs a libc, one can
> currently choose between oskit and dietlibc. l4linux has nothing to do
> with L4Env, except that l4linux may use it. There's no dependency in the
> other direction.

I hoped so. But the COMPILATION readme file in L4Env package made me think 
that there was dependency.

> 
> Our dietlibc uses several backends, e.g. it has different backends for
> memory allocation using different methods.
> dietlibc has no API dependencies and should work everywhere. Backends
> are API dependent but should be easily adoptable.
> 
> > 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?
> 
> Well, I do not know libCLight nor its malloc implementation but both
> things are different. dm_phys is a dataspace manager that operates on
> pyhsical memory and can hand out chunks of memory to clients. Its
> granularity are pages. One can use dataspaces to provide memory for a
> malloc implementation but dm_phys itself does not provide one.
> E.g. the 'simple_mem' backend for dietlibc provides an mmap via dm_phys
> so that malloc in dietlibc works.

Thanks very much for such good explanation. I will explore your suggestions 
to find the library most suitable for my means.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20050610/1de9379c/attachment.htm>