1 /* 2 * Copyright 2018 The Hafnium Authors. 3 * 4 * Use of this source code is governed by a BSD-style 5 * license that can be found in the LICENSE file or at 6 * https://opensource.org/licenses/BSD-3-Clause. 7 */ 8 9 #include "hf/plat/console.h" 10 11 #include <stdio.h> 12 13 #include "hf/mm.h" 14 #include "hf/mpool.h" 15 plat_console_init(void)16void plat_console_init(void) 17 { 18 } 19 plat_console_mm_init(struct mm_stage1_locked stage1_locked,struct mpool * ppool)20void plat_console_mm_init(struct mm_stage1_locked stage1_locked, 21 struct mpool *ppool) 22 { 23 } 24 plat_console_putchar(char c)25void plat_console_putchar(char c) 26 { 27 putchar(c); 28 } 29