From ac92283db05ce7246dbca477242cda1c3631a119 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Fri, 14 Dec 2012 15:43:39 +0100 Subject: [PATCH] base-hw & imx31: userland timer driver Fix #577 --- base/include/platform/imx31/drivers/board_base.h | 4 ++++ base/mk/spec-platform_imx31.mk | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/base/include/platform/imx31/drivers/board_base.h b/base/include/platform/imx31/drivers/board_base.h index 5547724c1..c8b6b1bb9 100644 --- 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, diff --git a/base/mk/spec-platform_imx31.mk b/base/mk/spec-platform_imx31.mk index f1e07f32a..0b12718b2 100644 --- 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