Xenomai  3.0.8
Here is a list of all modules:
[detail level 12345]
 RTDMThe Real-Time Driver Model (RTDM) provides a unified interface to both users and developers of real-time device drivers
 RTDM User APIApplication interface to RTDM services
 Driver programming interfaceRTDM driver programming interface
 Driver to driver servicesInter-driver interface
 Device Registration Services
 Clock Services
 Task Services
 Timer Services
 Synchronisation Services
 Big dual kernel lock
 Spinlock with preemption deactivation
 Event Services
 Semaphore Services
 Mutex services
 Interrupt Management Services
 Non-Real-Time Signalling ServicesThese services provide a mechanism to request the execution of a specified handler in non-real-time context
 Utility Services
 Device ProfilesPre-defined classes of real-time devices
 User-space driver coreThis profile includes all mini-drivers sitting on top of the User-space Device Driver framework (UDD)
 CAN DevicesThis is the common interface a RTDM-compliant CAN device has to provide
 Serial DevicesThis is the common interface a RTDM-compliant serial device has to provide
 Testing DevicesThis group of devices is intended to provide in-kernel testing results
 Real-time IPCProfile Revision: 1

 CobaltCobalt supplements the native Linux kernel in dual kernel configurations
 Cobalt kernelThe Cobalt core is a co-kernel which supplements the Linux kernel for delivering real-time services with very low latency
 Asynchronous Procedure CallsServices for scheduling function calls in the Linux domain
 In-kernel arithmeticsA collection of helpers performing arithmetics not implicitly available from kernel context via GCC helpers
 Buffer descriptorAbstraction for copying data to/from different address spaces
 Clock services
 Debugging services
 Dynamic memory allocation servicesThe implementation of the memory allocator follows the algorithm described in a USENIX 1988 paper called "Design of a General Purpose Memory Allocator for the 4.3BSD Unix Kernel" by Marshall K
 Interrupt management
 Locking servicesThe Xenomai core deals with concurrent activities from two distinct kernels running side-by-side
 Lightweight key-to-object mapping serviceA map is a simple indexing structure which associates unique integer keys with pointers to objects
 Registry servicesThe registry provides a mean to index object descriptors on unique alphanumeric keys
 Thread scheduling control
 SCHED_QUOTA scheduling policyThe SCHED_QUOTA policy enforces a limitation on the CPU consumption of threads over a globally defined period, known as the quota interval
 Synchronous I/O multiplexingThis module implements the services needed for implementing the POSIX select() service, or any other event multiplexing services
 Thread synchronization services
 Thread services
 Thread state flagsBits reporting permanent or transient states of threads
 Thread information flagsBits reporting events notified to threads
 Timer servicesThe Xenomai timer facility depends on a clock source (xnclock) for scheduling the next activation times
 Virtual file servicesVirtual files provide a mean to export Xenomai object states to user-space, based on common kernel interfaces
 Analogy frameworkA RTDM-based interface for implementing DAQ card drivers
 Driver APIProgramming interface provided to DAQ card drivers
 Channels and ranges

 Driver management servicesAnalogy driver registration / unregistration
 Subdevice management servicesSubdevice declaration in a driver
 Buffer management servicesBuffer management services
 Interrupt management services
 Misc services
 Analogy user API
 Level 1 API
 Asynchronous acquisition API
 Descriptor API
 Synchronous acquisition API
 Level 2 API
 Asynchronous acquisition API
 Software calibration API
 Math API
 Range / conversion API
 Synchronous acquisition API
 Level 0 API
 Descriptor Syscall API
 Basic Syscall API
 Attach / detach Syscall API
 POSIX interface
 Clocks and timersCobalt/POSIX clock and timer services
 Condition variablesCobalt/POSIX condition variable services
 Message queuesCobalt/POSIX message queue services
 Mutual exclusionCobalt/POSIX mutual exclusion services
 Process schedulingCobalt/POSIX process scheduling
 SemaphoresCobalt/POSIX semaphore services
 Thread managementCobalt (POSIX) thread management services
 Scheduling managementCobalt scheduling management services
 Smokey APIA simple infrastructure for writing and running smoke tests
 Alchemy APIA programming interface reminiscent from traditional RTOS APIs
 Alarm servicesGeneral-purpose watchdog timers
 Buffer servicesLightweight FIFO IPC mechanism
 Condition variable servicesPOSIXish condition variable mechanism
 Event flag group servicesInter-task notification mechanism based on discrete flags
 Heap management servicesRegion of memory dedicated to real-time allocation
 Mutex servicesPOSIXish mutual exclusion servicesl
 Message pipe servicesTwo-way communication channel between Xenomai & Linux domains
 Message queue servicesReal-time IPC mechanism for sending messages of arbitrary size
 Semaphore servicesCounting semaphore IPC mechanism
 Task management servicesServices dealing with preemptive multi-tasking
 Timer management servicesServices for reading and spinning on the hardware timer
 VxWorks® emulatorA VxWorks® emulation library on top of Xenomai
 pSOS® emulatorA pSOS® emulation library on top of Xenomai
 Transition KitA set of wrappers and services easing the transition from Xenomai 2.x to 3.x