Xenomai  3.0-rc7