understanding l4re
Ryan Brown <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAJe6nJYGC-7axU4=HLYdEL-7juKoWJoNRjEwfjUM1giL7NPs1w@mail.gmail.com> |
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? _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers