Add printf, gdb support, fix gdt
diff --git a/src/kint.h b/src/kint.h
index 5b363aa..0184443 100644
--- a/src/kint.h
+++ b/src/kint.h
@@ -6,3 +6,11 @@
 typedef unsigned long ulong;
 
 typedef unsigned long long size_t;
+
+typedef uchar bool;
+
+enum
+{
+	false = 0,
+	true,
+};