open-source / xenomai-cmake