T121: kernel: Add missing include
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 16:13:08 +0000 (18:13 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 16:13:08 +0000 (18:13 +0200)
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

kernel/arch/arm_gem5/startup_arch.c

index 85c6ce7..22137d9 100644 (file)
@@ -28,6 +28,7 @@
 #include <offsets.h>
 #include <startup_arch.h>
 #include <global.h>
+#include <kcb.h>
 
 #define CNODE(cte)              (cte)->cap.u.cnode.cnode
 #define UNUSED(x)               (x) = (x)