1 /*
2  * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <stdio.h>
8 
9 #include <drivers/console.h>
10 
putchar(int c)11 int putchar(int c)
12 {
13 	int res;
14 	if (console_putc((unsigned char)c) >= 0)
15 		res = c;
16 	else
17 		res = EOF;
18 
19 	return res;
20 }
21