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

• TIMER_HAS_64BIT_CYCLE_COUNTER

Symbols that select this symbol

• SOC_XENVM

• SOC_BCM58402_A72

• SOC_LS1046A

Kconfig definition

At <Driver>/timer/Kconfig.arm_arch:6

Included via Kconfig:8 → Kconfig.zephyr:42 → <Driver>/Kconfig:30 → <Driver>/timer/Kconfig:60

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

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