Move serial driver to a port different from the debug one.
[bertos.git] / boards / lpc-p2378 / templates / kernel / main.c
index b4ebd8ed9dbe7e7b7a754ee08c5752c2580ba76b..ad5c7ada6984a7fe2881cb9db403678d40da0dc2 100644 (file)
  * continues to monitor the stack utilization of all the processes.
  */
 
+#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>
+
 #include <kern/proc.h>
 #include <kern/monitor.h>
 
@@ -59,9 +63,9 @@ static void init(void)
        kdbg_init();
        /* Initialize system timer */
        timer_init();
-       /* Initialize UART0 */
-       ser_init(&out, SER_UART0);
-       /* Configure UART0 to work at 115.200 bps */
+       /* Initialize UART1 */
+       ser_init(&out, SER_UART1);
+       /* Configure UART1 to work at 115.200 bps */
        ser_setbaudrate(&out, 115200);
        /* Initialize LED driver */
        LED_INIT();