Microkernel Real Time Operating System

• QNX@
• Symbian@

• Computers: Software: Operating Systems: Microkernel 

• Fiasco µ-kernel  - Preemptible microkernel running on x86 PCs designed to be compatible with the L4 µ-kernel for x86.
• RTMK - Real-Time Microkernel  - Free real-time microkernel for implementing a single server operating system and running the Hurd.
• Sphere SP 2.0  - 32-bit embedded real-time application designed to be simple, scalable, efficient, and reliable.