-
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.
Defaults¶
No defaults. Implicitly defaults to n
.
Symbols selected by this symbol¶
Symbols that select this symbol¶
Kconfig definition¶
At <Zephyr>/drivers/timer/Kconfig:108
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 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.)