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