+static void NORETURN ser_prompt(void)
+{
+ char buf[32];
+ int i;
+
+ ser_init(&ser_port, SER_UART1);
+ ser_setbaudrate(&ser_port, 115200);
+
+ /* BeRTOS "echo" terminal */
+ kfile_printf(&ser_port.fd, "\n\rBeRTOS echo terminal\n\r");
+ proc_setPri(proc_current(), PRIO_HIGH);
+ for (i = 0; ; i++)
+ {
+ kfile_printf(&ser_port.fd, "\n\r[%03d] BeRTOS:~$ ", i);
+ kfile_gets_echo(&ser_port.fd, buf, sizeof(buf), true);
+ kfile_printf(&ser_port.fd, "%s", buf);
+ }
+}
+