1 /* Copyright 2018 SiFive, Inc */
2 /* SPDX-License-Identifier: Apache-2.0 */
9 * @brief API for emulated serial teriminals
13 * @brief Write a character to the default output device
15 * Write a character to the default output device, which for most
16 * targets is the UART serial port.
18 * @param c The character to write to the terminal
19 * @return 0 on success, or -1 on failure.
21 int metal_tty_putc(unsigned char c);