#include <hal.h>
#include <libc.h>
#include <kprintf.h>
This source code is licensed under the GNU General Public License, Version 2. See the file 'doc/license/gpl-2.0.txt' for more details.
Kernel printing / conversion auxiliary functions.