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