path: root/kernel/include/log.h

void log_putchar(char);
void log_puts(const char*);
void log(const char*, ...);