Add printf, gdb support, fix gdt
diff --git a/src/log.h b/src/log.h
new file mode 100644
index 0000000..48da93e
--- /dev/null
+++ b/src/log.h
@@ -0,0 +1,8 @@
+#pragma once
+
+#include "kint.h"
+
+void kprintf(const char *format, ...);
+void kassert_int(bool condition, const char *message, const char *file, const int line);
+
+#define kassert(cond, msg) kassert_int((cond), (msg), __FILE__, __LINE__)