1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#include <elfloader_common.h> 8#include "sbi.h" 9 10int plat_console_putchar(unsigned int c) 11{ 12 sbi_console_putchar(c); 13 return 0; 14} 15