Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
+++ kernel/generic/src/main/main.c	(revision 1a2227dd48e5aa6c8c9a405d3d2af5380b443736)
@@ -92,4 +92,5 @@
 #include <sysinfo/stats.h>
 #include <lib/ra.h>
+#include <cap/cap.h>
 
 /* Ensure [u]int*_t types are of correct size.
@@ -277,4 +278,5 @@
 	timeout_init();
 	scheduler_init();
+	caps_init();
 	task_init();
 	thread_init();