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

CONFIG_HPET_TIMER

HPET timer

Type: bool

Help

This option selects High Precision Event Timer (HPET) as a
system timer.

Default

• y

Symbols selected by this symbol

• IOAPIC if X86

• LOAPIC if X86

• TICKLESS_CAPABLE

Symbols implied by this symbol

• TIMER_READS_ITS_FREQUENCY_AT_RUNTIME

Kconfig definitions

At boards/x86/ehl_crb/Kconfig.defconfig:22

Included via Kconfig:8 → Kconfig.zephyr:22

Menu path: (Top)

config HPET_TIMER
    bool
    default y
    depends on BOARD_EHL_CRB || BOARD_EHL_CRB_SBL

---

At drivers/timer/Kconfig:81

Included via Kconfig:8 → Kconfig.zephyr:42 → drivers/Kconfig:30

Menu path: (Top) → Device Drivers → Timer Drivers

config HPET_TIMER
    bool "HPET timer"
    select IOAPIC if X86
    select LOAPIC if X86
    select TICKLESS_CAPABLE
    imply TIMER_READS_ITS_FREQUENCY_AT_RUNTIME
    help
      This option selects High Precision Event Timer (HPET) as a
      system timer.

(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)