Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/cap/cap.c	(revision 10d65d70906a865fb116576edc88e47ab61a5fb4)
@@ -81,4 +81,5 @@
 #include <adt/list.h>
 
+#include <limits.h>
 #include <stdint.h>