Index: kernel/arch/arm32/include/types.h
===================================================================
--- kernel/arch/arm32/include/types.h	(revision cb4f078ad0b0beb6ab22ecd75634643d7668acbc)
+++ kernel/arch/arm32/include/types.h	(revision 8b6930d5d4a9a2fdd17c45b45770dd51a1d956a6)
@@ -44,4 +44,5 @@
 
 typedef uint32_t size_t;
+typedef int32_t ssize_t;
 
 typedef uint32_t uintptr_t;