Update to new CONFIG_KERN.

[bertos.git] / bertos / cpu / arm / drv / kdebug_at91.c

diff --git a/bertos/cpu/arm/drv/kdebug_at91.c b/bertos/cpu/arm/drv/kdebug_at91.c
index b7e24cd3cc38e7c836543f8aa637f33eaf3635b1..b6ec8b199ac457ba71ebcf04f28338ab90b0313d 100644 (file)
--- a/bertos/cpu/arm/drv/kdebug_at91.c
+++ b/bertos/cpu/arm/drv/kdebug_at91.c
@@ -37,10 +37,11 @@
  */
 
 #include "kdebug_at91.h"
+#include "hw/hw_cpu.h"     /* for CLOCK_FREQ */
+#include "hw/hw_ser.h"     /* Required for bus macros overrides */
+
+#include "cfg/cfg_debug.h"
 #include <cfg/macros.h> /* for BV(), DIV_ROUND */
-#include <appconfig.h>
-#include <hw_cpu.h>     /* for CLOCK_FREQ */
-#include <hw_ser.h>     /* Required for bus macros overrides */
 
 #include <io/arm.h>