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_XENVM

• SOC_BCM58402_A72

• SOC_LS1046A

• SOC_BCM58402_A72

• SOC_LS1046A

Kconfig definition

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

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

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