Xenomai code