blob: 0beb625b2d0beff3218431304e5d3ac42cff869d [file] [log] [blame]
/*
* 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;
}