Re: pthreads

> Certainly, however, as using the current infrastructure will require
> more than a few changes, I thought it might make sense to just rewrite
> it right now.

Not really.  I don't think your changes for L4 will need to be that extensive.

> I have already implemented the pthread cancelation interfaces and
> started to adjust parts of the Hurd to use it.  I am dubious of
> benefits of not going directly to pthreads.

The sole benefit is using the hurd sources as they are now, because I am
pretty sure I don't want to make any changes anything like now.