Hi Neil,
Yu Neil wrote:
just like the l4 environment from tu-dresden, but it`s unavaliable
We finally managed to somewhat organize our source tree. We'll make a snapshot available beginning of next year. Among other things it will contain a thread library, basic synchronization primitives and a memory management framework.
Lars