POSIX Threads for embedded systems (PTE) - View it on GitHub