Thu, 08 Mar 2018 14:55:01 +0100Update timers_xeno.c to Xenomai 3 API
Edouard Tisserant [Thu, 08 Mar 2018 14:55:01 +0100] rev 797
Update timers_xeno.c to Xenomai 3 API