drivers/timers_kernel_xeno/timers_kernel_xeno.c
Wed, 21 Mar 2018 13:33:43 +0100 Edouard Tisserant Rename timer.h into timers.h to avoid clash with Xenomai includes.
Fri, 12 Nov 2010 22:24:06 +0100 edouard CosateQ contribution.