1// SPDX-License-Identifier: GPL-2.0
2#include <asm/setup.h>
3
4void putc(char c)
5{
6	prom_putchar(c);
7}