diff options
| author | Marc Zyngier <marc.zyngier@arm.com> | 2012-01-11 17:25:17 +0000 |
|---|---|---|
| committer | Marc Zyngier <marc.zyngier@arm.com> | 2012-04-27 13:35:33 +0100 |
| commit | 022c03a2d650c641fa0f94dbc9d9ff77f8057678 (patch) | |
| tree | 02b674ae7ca92dda57a487877d0625dca341b26a /arch/arm/Kconfig | |
| parent | bfa05f4f3398b61205567f3a5cad90804a5a1fdc (diff) | |
ARM: local timers: Add A15 architected timer support
Add support for the A15 generic timer and clocksource.
As the timer generates interrupts on a different PPI depending
on the execution mode (normal or secure), it is possible to
register two different PPIs.
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Diffstat (limited to 'arch/arm/Kconfig')
| -rw-r--r-- | arch/arm/Kconfig | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index cf006d40342..4faabbade2e 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig @@ -1543,6 +1543,12 @@ config HAVE_ARM_SCU help This option enables support for the ARM system coherency unit +config ARM_ARCH_TIMER + bool "Architected timer support" + depends on CPU_V7 + help + This option enables support for the ARM architected timer + config HAVE_ARM_TWD bool depends on SMP |