| # Copyright (c) 2014-2015 Wind River Systems, Inc. |
| # Copyright (c) 2016 Cadence Design Systems, Inc. |
| # Copyright (c) 2019 Intel Corp. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| config ARM_ARCH_TIMER |
| bool "ARM architected timer" |
| depends on GIC |
| select ARCH_HAS_CUSTOM_BUSY_WAIT |
| select TICKLESS_CAPABLE |
| select TIMER_HAS_64BIT_CYCLE_COUNTER |
| help |
| This module implements a kernel device driver for the ARM architected |
| timer which provides per-cpu timers attached to a GIC to deliver its |
| per-processor interrupts via PPIs. |
| |
| config ARM_ARCH_TIMER_ERRATUM_740657 |
| bool "ARM architected timer is affected by ARM erratum 740657" |
| depends on ARM_ARCH_TIMER |
| help |
| This option indicates that the ARM architected timer as implemented |
| in the target hardware is affected by the ARM erratum 740657 (comp. |
| ARM Cortex-A9 processors Software Developers Errata Notice, ARM |
| document ID032315) which leads to an additional, spurious interrupt |
| indication upon every actual timer interrupt. This option activates |
| the workaround for the erratum within the timer driver. |
