|
Files | |
| file | rtdm_driver.h |
| Real-Time Driver Model for Xenomai, driver API header. | |
Modules | |
| Inter-Driver API | |
| Device Registration Services | |
| Clock Services | |
| Task Services | |
| Timer Services | |
| Synchronisation Services | |
| Interrupt Management Services | |
| Non-Real-Time Signalling Services | |
| Utility Services | |
1.5.6