static ssize_t uart_printf(const char *fmt, ...); void init_telnet(); void start_telnet(void * pvParameter);