MK++

You are here: Advanced Research > Technologies > MK++

MK++ - a microkernel which provides a single code base capable of supporting high assurance, scalability, real-time, distribution, SMP, fault handling and performance all built in an object-oriented B3 evaluatable fashion.

Presentation        White Paper