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

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index 4ddf0605..ca0605a7 100644
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -41,6 +41,7 @@
 
 #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