However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born Gnu ...

He's built a simple kernel for a Unix-like operating system that runs on an Intel 386 processor, and he wants to develop it further. The kernel eventually becomes Linux, which is released in 1994 ...