Everything seems to work, so here we go: sys:posix:pthread added dynamic pthread thread local storage
kernel_pid_t
int
restoreIRQ()
sem_post()