Fix timer when run in bertos emulator.

[bertos.git] / bertos / cpu / avr / drv / kdebug_avr.c

diff --git a/bertos/cpu/avr/drv/kdebug_avr.c b/bertos/cpu/avr/drv/kdebug_avr.c
index 35d0645d6867a61485ca708f3f5a3ce333a5fde1..34c1de9879490b283a1b176c042dbe46f2221bc7 100644 (file)
--- a/bertos/cpu/avr/drv/kdebug_avr.c
+++ b/bertos/cpu/avr/drv/kdebug_avr.c
@@ -39,12 +39,14 @@
  * \author Francesco Sacchi <batt@develer.com>
  */
 
+#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 <cpu/types.h>
 #include <cpu/attr.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 <avr/io.h>
 
@@ -52,7 +54,7 @@
 
        /*
         * Support for special bus policies or external transceivers
-        * on UART0 (to be overridden in "hw_ser.h").
+        * on UART0 (to be overridden in "hw/hw_ser.h").
         *
         * HACK: if we don't set TXEN, kdbg disables the transmitter
         * after each output statement until the serial driver
@@ -115,7 +117,7 @@
 
        /*
                * Support for special bus policies or external transceivers
-               * on UART1 (to be overridden in "hw_ser.h").
+               * on UART1 (to be overridden in "hw/hw_ser.h").
                *
                * HACK: if we don't set TXEN, kdbg disables the transmitter
                * after each output statement until the serial driver
@@ -157,7 +159,7 @@
  * Special debug port for BitBanged Serial see below for details...
  */
 #elif CONFIG_KDEBUG_PORT == 666
-       #include "hw_ser.h"
+       #include "hw/hw_ser.h"
        #define KDBG_WAIT_READY()      do { /*nop*/ } while(0)
        #define KDBG_WRITE_CHAR(c)     _kdebug_bitbang_putchar((c))
        #define KDBG_MASK_IRQ(old)     do { IRQ_SAVE_DISABLE((old)); } while(0)
@@ -253,3 +255,4 @@ INLINE void kdbg_hw_init(void)
                #endif
        #endif /* CONFIG_KDEBUG_PORT == 666 */
 }
+