Xenomai is an RTAI scheduler which provides generic real-time operating services suited for the implementation of real-time operating system interfaces.
Modules | |
Dynamic memory allocation services. | |
Interrupt management. | |
Nanokernel mutex services. | |
Real-time pod services. | |
Real-time shadow services. | |
Thread synchronization services. |