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