1# Copyright (c) 2014-2015 Wind River Systems, Inc.
2# Copyright (c) 2016 Cadence Design Systems, Inc.
3# Copyright (c) 2019 Intel Corp.
4# SPDX-License-Identifier: Apache-2.0
5
6config ARM_ARCH_TIMER
7	bool "ARM architected timer"
8	depends on GIC
9	select ARCH_HAS_CUSTOM_BUSY_WAIT
10	select TICKLESS_CAPABLE
11	select TIMER_HAS_64BIT_CYCLE_COUNTER
12	help
13	  This module implements a kernel device driver for the ARM architected
14	  timer which provides per-cpu timers attached to a GIC to deliver its
15	  per-processor interrupts via PPIs.
16
17config ARM_ARCH_TIMER_ERRATUM_740657
18	bool "ARM architected timer is affected by ARM erratum 740657"
19	depends on ARM_ARCH_TIMER
20	help
21	  This option indicates that the ARM architected timer as implemented
22	  in the target hardware is affected by the ARM erratum 740657 (comp.
23	  ARM Cortex-A9 processors Software Developers Errata Notice, ARM
24	  document ID032315) which leads to an additional, spurious interrupt
25	  indication upon every actual timer interrupt. This option activates
26	  the workaround for the erratum within the timer driver.
27