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

• TIMER_HAS_64BIT_CYCLE_COUNTER

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 <Driver>/timer/Kconfig.hpet:6

Included via Kconfig:8 → Kconfig.zephyr:42 → <Driver>/Kconfig:30 → <Driver>/timer/Kconfig:65

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

config HPET_TIMER
    bool "HPET timer"
    select IOAPIC if X86
    select LOAPIC if X86
    select TICKLESS_CAPABLE
    select TIMER_HAS_64BIT_CYCLE_COUNTER
    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.)