/* Use the UART driver APIs to write a strng to the terminal.  */
int32_t cli_write_string(struct cli_desc *dev, uint8_t *str)
/* Use the UART driver APIs to write a strng to the terminal.  */
int32_t cli_write_string(struct cli_desc *dev, uint8_t *str)
{
	return uart_write(dev->uart_device, str, strlen((char *)str));
}