Disk size is computed by driver.
[bertos.git] / drv / kdebug.c
index c747f6843783773a21ed0a8fe6fc21ef24709500..739400a419fd1df28dc53b4c9426cdf511df16a5 100644 (file)
@@ -40,7 +40,9 @@
 
 
 #include <cfg/debug.h>
-#include <cpu/cpu.h>
+#include <cpu/irq.h>
+#include <cpu/attr.h>
+#include <cpu/types.h>
 #include <cfg/macros.h> /* for BV() */
 #include <appconfig.h>
 #include <hw_cpu.h>     /* for CLOCK_FREQ */
@@ -78,7 +80,7 @@ void kdbg_init(void)
 {
        /* Init debug hw */
        kdbg_hw_init();
-       kputs("\n\n*** DBG START ***\n");
+       kputs("\n\n*** BeRTOS DBG START ***\n");
 }