X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=ca0605a792f8f9d92624ff403809943dabbca984;hb=2f2e90e8f1aaee748e54feac7b8bb8756ee5a8ad;hp=0e756dbb6cb01c435062380cbd60536d0e165520;hpb=791e167e053bdd9250d34a9a5ccae6ccde4d6679;p=bertos.git

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index 0e756dbb..ca0605a7 100644
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -39,14 +39,16 @@
 
 #include "timer.h"
 
-#include <cpu/attr.h>
-#include <cpu/types.h>
-#include <cpu/irq.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>
-#include <appconfig.h>
+
+#include <cpu/attr.h>
+#include <cpu/types.h>
+#include <cpu/irq.h>
 
 /*
  * Include platform-specific binding code if we're hosted.
@@ -73,7 +75,6 @@
 #endif
 
 #if CONFIG_KERNEL
-	#include <config_kern.h>
 	#if CONFIG_KERN_PREEMPTIVE
 		#include <hw/switch.h>
 	#endif