:orphan:

.. title:: ARM_ARCH_TIMER

.. option:: CONFIG_ARM_ARCH_TIMER

*ARM architected timer*

Type: ``bool``

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.

Direct dependencies
===================

\ :option:`GIC <CONFIG_GIC>`

*(Includes any dependencies from ifs and menus.)*

Defaults
========

No defaults. Implicitly defaults to ``n``.

Symbols selected by this symbol
===============================

- \ :option:`TICKLESS_CAPABLE <CONFIG_TICKLESS_CAPABLE>`

Symbols that select this symbol
===============================

- \ :option:`SOC_XENVM <CONFIG_SOC_XENVM>`
- \ :option:`SOC_BCM58402_A72 <CONFIG_SOC_BCM58402_A72>`

Kconfig definition
==================

.. highlight:: kconfig

At ``drivers/timer/Kconfig:82``

Included via ``Kconfig:8`` → ``Kconfig.zephyr:32`` → ``drivers/Kconfig:28``

Menu path: (Top) → Device Drivers → Timer Drivers

.. parsed-literal::

    config ARM_ARCH_TIMER
    	bool "ARM architected timer"
    	select \ :option:`TICKLESS_CAPABLE <CONFIG_TICKLESS_CAPABLE>`
    	depends on \ :option:`GIC <CONFIG_GIC>`
    	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.

*(The 'depends on' condition includes propagated dependencies from ifs and menus.)*