understanding l4re

[Ryan Brown]

Hi. I'm exploring developing software that runs on Fiasco.OC/L4re, so I'm
trying to understand how the various pieces fit together.  If I'm following
the makefiles correctly it looks like some uclibc files (like libc/inet)
are getting compiled, but they seem to be making linux system calls. I also
see the libc_backends code, and I'm not sure how this fits in. It looks
like these are mostly stubs, is it expected that you'll link the final
binary with the real implementation you want?

I also took a look at libpthreads, and I don't see much l4 specific code.
It looks like mutexes are implemented as spinlocks? Isn't there a better
way to do synchronization in fiasco?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120510/cf33a80c/attachment.html>