#include <hw_ser.h> /* Required for bus macros overrides */
#include <mware/formatwr.h> /* for _formatted_write() */
+#include <mware/pgm.h>
#ifdef _DEBUG
{
/* Init debug hw */
kdbg_hw_init();
- kputs("\n\n*** DBG START ***\n");
+ kputs("\n\n*** BeRTOS DBG START ***\n");
}