/* Put a single character to the serial port.  */
void serial_putc(const char c)
/* Put a single character to the serial port.  */
void serial_putc(const char c)
{
	if (c == '\n')
		serial_putc('\r');
	while (!(uart_regs->s1 & KINETIS_UART_S1_TDRE_MSK));
	uart_regs->d = c;
}