Xenomai is a real-time framework for Linux that provides a co-kernel to enable hard real-time...