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

• ARCH_HAS_CUSTOM_BUSY_WAIT

• TICKLESS_CAPABLE

Symbols that select this symbol

• SOC_XENVM

• SOC_BCM58402_A72

• SOC_LS1046A

Kconfig definition

At drivers/timer/Kconfig:108

Included via Kconfig:8 → Kconfig.zephyr:42 → drivers/Kconfig:30

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

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