T291: kernel: include bitmacros.h in kernel.h
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 28 Sep 2016 09:58:21 +0000 (11:58 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 28 Sep 2016 09:58:21 +0000 (11:58 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/include/kernel.h

index 9f42965..6bb967c 100644 (file)
@@ -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>