1 /* 2 * Copyright (C) 2015 Virtual Open Systems SAS 3 * Author: Alexander Spyridakis <a.spyridakis@virtualopensystems.com> 4 * 5 * This program is free software; you can redistribute it and/or modify 6 * it under the terms of the GNU General Public License version 2 as 7 * published by the Free Software Foundation. 8 * 9 * SPDX-License-Identifier: GPL-2.0-only 10 */ 11 12 #ifndef MINILIB_H 13 #define MINILIB_H 14 15 /* 16 * Provided by the individual arch 17 */ 18 extern void __sys_outc(char c); 19 20 /* 21 * Provided by the common minilib 22 */ 23 void ml_printf(const char *fmt, ...); 24 25 #endif /* _MINILIB_H_ */ 26