X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;ds=sidebyside;f=boards%2Fek-lm3s1968%2Ftemplates%2Fkernel%2Fmain.c;h=677553eda3613d2941caeb501db5f4df3743b393;hb=4ddace69429f1b24dfccfba49d2e47ae059609d3;hp=68fdf45fc59e56a06135b3ed5352b79c2ce1bd21;hpb=83ea7ed8da72ed69c0ef12589a921694987504fa;p=bertos.git

diff --git a/boards/ek-lm3s1968/templates/kernel/main.c b/boards/ek-lm3s1968/templates/kernel/main.c
index 68fdf45f..677553ed 100644
--- a/boards/ek-lm3s1968/templates/kernel/main.c
+++ b/boards/ek-lm3s1968/templates/kernel/main.c
@@ -39,14 +39,18 @@
  * continues to monitor the stack utilization of all the processes.
  */
 
+#include "hw/hw_led.h"
+
 #include <cfg/debug.h>
+
 #include <cpu/irq.h>
-#include <hw/hw_led.h>
+
 #include <drv/timer.h>
 #include <drv/ser.h>
 #include <drv/lcd_rit128x96.h>
 #include <drv/kbd.h>
 #include <drv/flash.h>
+
 #include <kern/proc.h>
 #include <kern/monitor.h>
 
@@ -68,9 +72,14 @@ 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 */
+	/*
+	 * Kernel initialization: processes (allow to create and dispatch
+	 * processes using proc_new()).
+	 */
+	proc_init();
+	/* Initialize UART1 */
+	ser_init(&out, SER_UART1);
+	/* Configure UART1 to work at 115.200 bps */
 	ser_setbaudrate(&out, 115200);
 	/* Initialize LED driver */
 	LED_INIT();
@@ -83,13 +92,7 @@ static void init(void)
 	/* Initialize the keypad driver */
 	kbd_init();
 	/* Initialize the internal flash memory */
-        flash_init(&flash);
-
-	/*
-	 * Kernel initialization: processes (allow to create and dispatch
-	 * processes using proc_new()).
-	 */
-	proc_init();
+	flash_init(&flash, 0);
 }
 
 static void NORETURN led_process(void)
@@ -124,4 +127,6 @@ int main(void)
 		monitor_report();
 		timer_delay(1000);
 	}
+
+	return 0;
 }