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