diff --git a/repos/base-hw/src/core/imx31/timer.h b/repos/base-hw/src/core/imx31/timer.h
index bc971d80b..69dd44f42 100644
--- a/repos/base-hw/src/core/imx31/timer.h
+++ b/repos/base-hw/src/core/imx31/timer.h
@@ -16,6 +16,7 @@
 
 /* core includes */
 #include <drivers/timer/epit_base.h>
+#include <board.h>
 
 namespace Kernel
 {