The latest development version of this page may be more current than this released 2.2.1 version.
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

GIC

(Includes any dependencies from ifs and menus.)

Defaults

No defaults. Implicitly defaults to n.

Symbols selected by this symbol

Kconfig definition

At drivers/timer/Kconfig:114

Included via Kconfig:8Kconfig.zephyr:32drivers/Kconfig:26

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

config ARM_ARCH_TIMER
    bool "ARM architected timer"
    select TICKLESS_CAPABLE
    depends on 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.)