Add support for Xenomai