T291: kernel: include bitmacros.h in kernel.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/kernel/include/kernel.h b/kernel/include/kernel.h
index 9f42965..6bb967c 100644 (file)
--- a/kernel/include/kernel.h
+++ b/kernel/include/kernel.h
@@ -29,6 +29,7 @@
 #include <barrelfish_kpi/cpu.h>
 #include <barrelfish_kpi/registers_arch.h>
 #include <errors/errno.h>
+#include <bitmacros.h>
 #include <debug.h>
 #include <offsets.h> /* XXX */
 #include <schedule.h>