This is a package for more easily building rosbuild-based ROS packages with the Xenomai realtime kernel - View it on GitHub