Add debug output and a few elementary stdlib functions.

1 files changed, 7 insertions, 0 deletions

diff --git a/kernel/include/dbglog.h b/kernel/include/dbglog.h
new file mode 100644
index 0000000..c8904c6
--- /dev/null
+++ b/kernel/include/dbglog.h
@@ -0,0 +1,7 @@
+#pragma once
+
+#include <config.h>
+
+void dbglog_setup();
+void dbg_print(const char* str);
+void dbg_printf(const char* format, ...);