ARMv8: adding missing include to timers.h
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 15:23:46 +0000 (16:23 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 15:23:46 +0000 (16:23 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kernel/arch/armv8/startup_arch.c

index 029d742..f418a1a 100644 (file)
@@ -27,7 +27,7 @@
 #include <kernel_multiboot2.h>
 #include <offsets.h>
 #include <startup_arch.h>
-
+#include <timers.h>
 #include <platform.h>
 
 #include <arch/arm/startup_arm.h>