Xenomai  3.0-rc3