path: root/kernel/include/dbglog.h

#pragma once

#include <config.h>

void dbglog_setup();
void dbg_print(const char* str);
void dbg_printf(const char* format, ...);