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