/* 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);
}
