include/timers_xeno/timerscfg.h
changeset 798 6bafede3de2b
parent 454 bc000083297a
child 807 46027bb24429
--- a/include/timers_xeno/timerscfg.h	Thu Mar 08 14:55:01 2018 +0100
+++ b/include/timers_xeno/timerscfg.h	Thu Mar 08 15:03:04 2018 +0100
@@ -23,12 +23,12 @@
 #ifndef __TIMERSCFG_H__
 #define __TIMERSCFG_H__
 
-#include <native/task.h>
-#include <native/timer.h>
-#include <native/mutex.h>
-#include <native/cond.h>
-#include <native/sem.h>
-#include <native/alarm.h>
+#include <alchemy/task.h>
+#include <alchemy/timer.h>
+#include <alchemy/mutex.h>
+#include <alchemy/cond.h>
+#include <alchemy/sem.h>
+#include <alchemy/alarm.h>
 
 // Time unit : ns
 // Time resolution : 64bit (~584 years)