Preemptible realtime 2nd-generation microkernel fast maintainable readable supports hard priorities uses non-blocking synchronization for kernel objects to guarantee priority inheritance ensure runnable high-priority processes never block waiting for lower ones rework of L4 interface Open Source GPL

Visit website