/* Print a null-terminated string character by character to the UART interface  */
void print_uart(char *buf)
/* Print a null-terminated string character by character to the UART interface  */
void print_uart(char *buf)
{
	int msg_len = strlen(buf);
	for (int i = 0; i < msg_len; i++) {
		uart_poll_out(uart_dev, buf[i]);
	}
}