Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision c859753998fa1c181ddd7bcbfdeaa866bb940c41)
+++ kernel/generic/include/typedefs.h	(revision 419886f690718bde897f3240ef5a5106750673e8)
@@ -36,5 +36,17 @@
 #define KERN_TYPEDEFS_H_
 
+#define NULL 0
+#define false 0
+#define true 1
+
 typedef void (* function)();
+
+typedef uint8_t bool;
+typedef uint64_t thread_id_t;
+typedef uint64_t task_id_t;
+typedef uint32_t context_id_t;
+
+typedef int32_t inr_t;
+typedef int32_t devno_t;
 
 #endif