![]() |
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 |