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

Symbols that select this symbol

Kconfig definition

At <Zephyr>/drivers/timer/Kconfig:82

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:32<Zephyr>/drivers/Kconfig:28

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.)