/* Read a single character from the serial port.  */
int serial_getc(void)
/* Read a single character from the serial port.  */
int serial_getc(void)
{
	while (!(uart_regs->s1 & KINETIS_UART_S1_RDRF_MSK));
	return uart_regs->d;
}