base-hw & imx31: userland timer driver

Fix #577
2012-12-14 15:43:39 +01:00 · 2012-12-14 15:43:39 +01:00 · ac92283db0
parent 5f7ffe619b
commit ac92283db0
2 changed files with 5 additions and 1 deletions
--- a/base/include/platform/imx31/drivers/board_base.h
+++ b/base/include/platform/imx31/drivers/board_base.h
@ -40,6 +40,10 @@ namespace Genode
 			EPIT_1_MMIO_BASE = 0x53f94000,
 			EPIT_1_MMIO_SIZE = 0x00004000,

+			EPIT_2_IRQ       = 27,
+			EPIT_2_MMIO_BASE = 0x53f98000,
+			EPIT_2_MMIO_SIZE = 0x00004000,
+
 			AVIC_MMIO_BASE = 0x68000000,
 			AVIC_MMIO_SIZE = 0x04000000,

--- a/base/mk/spec-platform_imx31.mk
+++ b/base/mk/spec-platform_imx31.mk
@ -5,7 +5,7 @@
 #

 # denote wich specs are also fullfilled by this spec
-SPECS += arm_v6
+SPECS += arm_v6 epit

 # add repository relative include paths
 REP_INC_DIR += include/platform/imx31