MK++

Mach compatible microkernel; gives one code base able to support high assurance, scalability, realtime, distribution, SMP, fault handling, performance; ...

[PPT] open Group Research Institute

File Format: Microsoft Powerpoint - MK++. A High Assurance Operating System Kernel. Shai Guday. David Black. MK++ Results. MK++ is a complete reimplementation of the essential Mach ...