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

Slashdot reopened the endless Linus Torvald vs. Andy Tanenbaum debateabout microkernels and monolithic operating systems. This is asilly discussion akin to debating bicycles versus cars: both are ...

Developers rely on the QNX® Neutrino® RTOS to provide a highly reliable, scalable, and high-performance foundation for their embedded products. A true microkernel operating system, the QNX Neutrino ...

Chromebooks built off of the AMD-based ‘Grunt’ reference board may be among the first capable of running Google’s Fuchsia operating system, based on a recently reported commit to the Chromium Gerrit.

Jaluna-1 is a real-time component suite designed for carrier-grade projects requiring high performance and high availability. It is based on Sun Microsystems' Chorus microkernel operating system (OS).