/* Output a character in polled mode. 
Checks if the transmitter is empty. If empty, a character is written to the data register. */
static void uart_stellaris_poll_out(const struct device *dev, unsigned char c)
/* Output a character in polled mode. 
Checks if the transmitter is empty. If empty, a character is written to the data register. */
static void uart_stellaris_poll_out(const struct device *dev, unsigned char c)
{
	const struct uart_stellaris_config *config = dev->config;
	while (!poll_tx_ready(dev)) {
	}
	config->uart->dr = (uint32_t)c;
}