X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=boards%2Flpc-p2378%2Ftemplates%2Fkernel%2Fmain.c;h=ad5c7ada6984a7fe2881cb9db403678d40da0dc2;hb=57fa5e371a8b40afc99b922731b77d17c55330a4;hp=b4ebd8ed9dbe7e7b7a754ee08c5752c2580ba76b;hpb=c4c3ad2edbffae2b04e5d22d6fa3fa5de6feeb68;p=bertos.git

diff --git a/boards/lpc-p2378/templates/kernel/main.c b/boards/lpc-p2378/templates/kernel/main.c
index b4ebd8ed..ad5c7ada 100644
--- a/boards/lpc-p2378/templates/kernel/main.c
+++ b/boards/lpc-p2378/templates/kernel/main.c
@@ -39,12 +39,16 @@
  * 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();