:orphan: .. title:: ARM_ARCH_TIMER .. option:: CONFIG_ARM_ARCH_TIMER *ARM architected timer* Type: ``bool`` Help ==== .. code-block:: none 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 =================== \ :option:`GIC ` *(Includes any dependencies from ifs and menus.)* Defaults ======== No defaults. Implicitly defaults to ``n``. Symbols selected by this symbol =============================== - \ :option:`ARCH_HAS_CUSTOM_BUSY_WAIT ` - \ :option:`TICKLESS_CAPABLE ` Symbols that select this symbol =============================== - \ :option:`SOC_XENVM ` - \ :option:`SOC_BCM58402_A72 ` - \ :option:`SOC_LS1046A ` Kconfig definition ================== At ``/timer/Kconfig:108`` Included via ``Kconfig:8`` → ``Kconfig.zephyr:32`` → ``/Kconfig:28`` Menu path: (Top) → Device Drivers → Timer Drivers .. code-block:: kconfig 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.)*