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