Rename timer.h into timers.h to avoid clash with Xenomai includes.
//-------------------------------------------------------------------------------
//-------------------------------------------------------------------------------
//-------------------------------------------------------------------------------
#endif