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

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index 0e756dbb..81f87942 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