/* | |
* Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
*/ | |
#include <stdio.h> | |
#include <console.h> | |
int putchar(int c) | |
{ | |
int res; | |
if (console_putc((unsigned char)c) >= 0) | |
res = c; | |
else | |
res = EOF; | |
return res; | |
} |