1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * Copyright 2015, 2016 Hesham Almatary <heshamelmatary@gmail.com> 4 * 5 * SPDX-License-Identifier: GPL-2.0-only 6 */ 7 8#include <machine/io.h> 9#include <arch/sbi.h> 10 11#if defined(CONFIG_PRINTING) || defined(CONFIG_DEBUG_BUILD) 12void putDebugChar(unsigned char c) 13{ 14 sbi_console_putchar(c); 15} 16#endif 17