**not tested** scheduler in xenomai api