Index: kernel/generic/src/synch/syswaitq.c
===================================================================
--- kernel/generic/src/synch/syswaitq.c	(revision 0b8fad2245012923c34d3392f1edf5059aa89abf)
+++ kernel/generic/src/synch/syswaitq.c	(revision 8781e9d05ac3f6aeaa3ad709c5af9efa3209b87a)
@@ -45,4 +45,5 @@
 
 #include <stdint.h>
+#include <stdlib.h>
 
 static slab_cache_t *waitq_cache;