Disable serial driver on Arduino.

[bertos.git] / boards / arduino / templates / kernel / main.c

diff --git a/boards/arduino/templates/kernel/main.c b/boards/arduino/templates/kernel/main.c
index ff8b2f129e36069b60e258c23896f9f0143f5a47..663386f45c0723008699f85f6d76a1abdf6c8d69 100644 (file)
--- a/boards/arduino/templates/kernel/main.c
+++ b/boards/arduino/templates/kernel/main.c
@@ -63,10 +63,20 @@ static void init(void)
        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();