X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=81f87942716989f62d3fe375a8e59dfd50993597;hb=97c013481a2c85dd01b8231017545360c7cc33ac;hp=4ddf06057503ff1370c59a7907810566a898a780;hpb=11da44352fcd4d33b173c976db45293ac1a87cca;p=bertos.git

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index 4ddf0605..81f87942 100644
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -39,8 +39,9 @@
 
 #include "timer.h"
 
-#include <cfg/cfg_timer.h>
-#include <cfg/cfg_wdt.h>
+#include "cfg/cfg_timer.h"
+#include "cfg/cfg_wdt.h"
+#include "cfg/cfg_kern.h"
 #include <cfg/os.h>
 #include <cfg/debug.h>
 #include <cfg/module.h>
@@ -74,7 +75,6 @@
 #endif
 
 #if CONFIG_KERNEL
-	#include <config_kern.h>
 	#if CONFIG_KERN_PREEMPTIVE
 		#include <hw/switch.h>
 	#endif