void uart_init();
void uart_writeText(char *buffer);