- /* 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 */