Add typedef for pid_t

diff --git a/include/corax/types.h b/include/corax/types.h
index 7e5f445087f15c68d7f1cbaad825b1349d8e7c50..bbc835d634e65fbecd501ecdc248435ec5fcdff4 100644 (file)
--- a/include/corax/types.h
+++ b/include/corax/types.h
@@ -33,4 +33,6 @@ typedef signed long long int    i64_t;
 #define FALSE   0
 #define TRUE    (!FALSE)
 
+typedef u32_t pid_t;
+
 #endif /* __TYPES_H */