From 5f145b74a59e2bd4ad6713e509fdf26d4ef42849 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 2 Jul 2014 16:16:21 +0200
Subject: [PATCH] hw_imx31: fix compilation error in timer.h

fix #1200
---
 repos/base-hw/src/core/imx31/timer.h | 1 +
 1 file changed, 1 insertion(+)

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
 {