Index: kernel/generic/src/lib/ra.c
===================================================================
--- kernel/generic/src/lib/ra.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/lib/ra.c	(revision 464041698a3d92d07aded8be130230a18da695d3)
@@ -55,4 +55,5 @@
 #include <macros.h>
 #include <synch/spinlock.h>
+#include <stdlib.h>
 
 static slab_cache_t *ra_segment_cache;