#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 */
{
/* Init debug hw */
kdbg_hw_init();
- kputs("\n\n*** DBG START ***\n");
+ kputs("\n\n*** BeRTOS DBG START ***\n");
}