diff --git a/include/kernel/types.h b/include/kernel/types.h
new file mode 100644
index 0000000..7c9c195
--- /dev/null
+++ b/include/kernel/types.h
@@ -0,0 +1,8 @@
+#ifndef _TYPES_H
+#define _TYPES_H
+typedef unsigned int uint32_t;
+typedef unsigned long uintptr_t;
+
+#define NULL ((void *)0)
+
+#endif