Index: src/benchmark/ctxswitch/cfa_cor.c
===================================================================
--- src/benchmark/ctxswitch/cfa_cor.c	(revision 50abab9cbe0831c614ab6df0acdcf274367dd902)
+++ src/benchmark/ctxswitch/cfa_cor.c	(revision 5248789584c9c07a822b2094bcabd99fea266d92)
@@ -1,3 +1,4 @@
 #include <stdio.h>
+#include <kernel>
 #include <thread>