Hello everybody.

I was wondering if there is any documentation on the work that has
been going into making libc or an equivalent thread safe for use with
scheduler activations and SMP.

I would also like to know where work needs to be done as I am
interested in helping with SMP and threading support in any way I can.

Regards,
Dan