Pthreads for Embedded Systems