Goal: create an environment for developing and deploying critical applications with hard real-time constraints in a reactive environment. Such applications must be able to execute …
Mach compatible microkernel; gives one code base able to support high assurance, scalability, realtime, distribution, SMP, fault handling, performance; all built in an object-orien…
Portable object-oriented microkernel OS, dynamically loaded device drivers, fully redesigned and rewritten many times in C++, runs on VAX, x86. Ongoing experiment in using O-O para…