/* Write "len" of char from "ptr" to file id "fd" * Return number of char written. */ int _write(int fd, char *ptr, int len) { return Driver_UART_DEBUG.Send(ptr, len); }
/* Write one char "ch" to the default console */ void _ttywrch(int ch) { Driver_UART_DEBUG.Send(&ch, 1); }