Jonathan Shapiro, one of the chief developers of the BitC language and Coyotos operating system, is joining Microsoft to work on Midori. Shapiro announced via the BitC mailing list that he will be ...

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

A Unix-like operating system based on the GNU Mach microkernel from Carnegie Mellon (Hurd and Mach make up the GNU Hurd operating system from the GNU Project). Hurd is known as a "multiserver" ...