Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision d24e98721bade8f2f1d3220a3f392c01a7830d43)
+++ kernel/generic/src/cap/cap.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -86,4 +86,5 @@
 #include <limits.h>
 #include <stdint.h>
+#include <stdlib.h>
 
 #define CAPS_START	(CAP_NIL + 1)