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