--- a/drivers/timers_kernel_xeno/timers_kernel_xeno.c	Tue Mar 20 16:04:52 2018 +0100
+++ b/drivers/timers_kernel_xeno/timers_kernel_xeno.c	Wed Mar 21 13:33:43 2018 +0100
@@ -25,7 +25,7 @@
 #include <asm/current.h>
 
 #include <native/task.h>
-#include <native/timer.h>
+#include <native/timers.h>
 #include <native/sem.h>
 #include <native/mutex.h>
 #include <native/cond.h>
@@ -33,7 +33,7 @@
 
 #include "applicfg.h"
 #include "can_driver.h"
-#include "timer.h"
+#include "timers.h"
 
 #define TIMERLOOP_TASK_CREATED        1