However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. ... SeL4 is a mathematically proven correct, bug-free operating system kernel.

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 ...