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