// SPDX-License-Identifier: GPL-2.0 #include void putc(char c) { prom_putchar(c); }