Turns out the timestamp was calculated using rt_timer_tsc() so on a machine with a processor speed close to 1GHz the value is close to the wall clock time but on a 2.2GHz machine the value is off. Using rt_timer_tsc2ns() solves the issue. Thanks for the help. -Brandt
_______________________________________________ Xenomai-help mailing list Xenomai-help@gna.org https://mail.gna.org/listinfo/xenomai-help
