* supported board and proposes an empty main.
*/
+#include "hw/hw_led.h"
+
#include <cfg/debug.h>
+
#include <cpu/irq.h>
#include <cpu/power.h>
-#include <hw/hw_led.h>
+
#include <drv/timer.h>
#include <drv/ser.h>
kdbg_init();
/* Initialize system timer */
timer_init();
+
+ /*
+ * XXX: Arduino has a single UART port that was previously
+ * initialized for debugging purpose.
+ * In order to activate the serial driver you should disable
+ * the debugging module.
+ */
+#if 0
/* Initialize UART0 */
ser_init(&out, SER_UART0);
/* Configure UART0 to work at 115.200 bps */
ser_setbaudrate(&out, 115200);
+#else
+ (void)out;
+#endif
/* Initialize LED driver */
LED_INIT();
}