+
+// proc_init();
+ ASSERT(!IRQ_ENABLED());
+
+
+
+ /* Open the main communication port */
+ Serial *host_port = ser_open(0);
+ ser_setbaudrate(host_port, 115200);
+ ser_setparity(host_port, SER_PARITY_NONE);
+
+ /* Open the main communication port */
+ Serial *host_port1 = ser_open(1);
+ ser_setbaudrate(host_port1, 115200);
+ ser_setparity(host_port1, SER_PARITY_NONE);
+