VirtuOS: an operating system with kernel virtualization
The Native POSIX Thread Library for Linux