The latest development version of this page may be more current than this released 1.14.0 version.
CONFIG_HPET_TIMER_IRQ

HPET Timer IRQ

Type: int

Help

This option specifies the IRQ used by the HPET timer.

Direct dependencies

HPET_TIMER

(Includes any dependencies from if’s and menus.)

Defaults

Kconfig definition

At drivers/timer/Kconfig:31

Included via Kconfig:10 → Kconfig.zephyr:35 → drivers/Kconfig:26

Menu path: (top menu) → Device Drivers → Timer Drivers → HPET timer

config HPET_TIMER_IRQ
    int
    prompt "HPET Timer IRQ" if HPET_TIMER
    default 2 if HPET_TIMER
    depends on HPET_TIMER
    help
      This option specifies the IRQ used by the HPET timer.

(Definitions include propagated dependencies, including from if’s and menus.)