# HG changeset patch
# User Edouard Tisserant
# Date 1520517301 -3600
# Node ID 12340b4ea907004e51a5052a82145ef7b3adec6c
# Parent  1c87f7a8cb8ae371521991935ab6d12e632bd0c7
Update timers_xeno.c to Xenomai 3 API

diff -r 1c87f7a8cb8a -r 12340b4ea907 drivers/timers_xeno/timers_xeno.c
--- a/drivers/timers_xeno/timers_xeno.c	Fri Mar 24 10:52:38 2017 +0100
+++ b/drivers/timers_xeno/timers_xeno.c	Thu Mar 08 14:55:01 2018 +0100
@@ -2,12 +2,12 @@
 #include <unistd.h>
 #include <sys/mman.h>
 
-#include <native/task.h>
-#include <native/timer.h>
-#include <native/sem.h>
-#include <native/mutex.h>
-#include <native/cond.h>
-#include <native/alarm.h>
+#include <alchemy/task.h>
+#include <alchemy/timer.h>
+#include <alchemy/sem.h>
+#include <alchemy/mutex.h>
+#include <alchemy/cond.h>
+#include <alchemy/alarm.h>
 
 #include "applicfg.h"
 #include "can_driver.h"