kdbg_init();
/* Initialize system timer */
timer_init();
- /* Initialize UART0 */
- ser_init(&out, SER_UART0);
+ /* Initialize UART1 */
+ ser_init(&out, SER_UART1);
/* Configure UART0 to work at 115.200 bps */
ser_setbaudrate(&out, 115200);
/* Initialize LED driver */
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();
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();
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();