Hi. I&#39;m exploring developing software that runs on Fiasco.OC/L4re, so I&#39;m trying to understand how the various pieces fit together.  If I&#39;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&#39;m not sure how this fits in. It looks like these are mostly stubs, is it expected that you&#39;ll link the final binary with the real implementation you want?<div>
<br></div><div>I also took a look at libpthreads, and I don&#39;t see much l4 specific code. It looks like mutexes are implemented as spinlocks? Isn&#39;t there a better way to do synchronization in fiasco?</div>