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¶

TICKLESS_CAPABLE

Symbols that select this symbol¶

Kconfig definition¶

At drivers/timer/Kconfig:82

Included via Kconfig:8 → Kconfig.zephyr:32 → 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.)