/* Put a string ('\0'-terminated) to the serial port.  */
void serial_puts(const char *s)
/* Put a string ('\0'-terminated) to the serial port.  */
void serial_puts(const char *s)
{
	while (*s)
		serial_putc(*s++);
}