Fiasco is a preemptible real-time kernel supporting hard priorities.
It uses non-blocking synchronization for its kernel objects.
This guarantees priority inheritance and makes sure that runnable high-priority processes never block waiting for lower-priority processes.
Supports x86 architecture.
preview:
http://os.inf.tu-dresden.de/fiasco/
12/18/1999