The latest development version of this page may be more current than this released 2.6.1-rc1 version.

CONFIG_HPET_TIMER

HPET timer

Type: bool

Help

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

Direct dependencies

BOARD_EHL_CRB || BOARD_EHL_CRB_SBL || X86

(Includes any dependencies from ifs and menus.)

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:18

Menu path: (Top)

config HPET_TIMER
    bool
    default y
    depends on BOARD_EHL_CRB || BOARD_EHL_CRB_SBL

---

At drivers/timer/Kconfig:80

Included via Kconfig:8 → Kconfig.zephyr:32 → drivers/Kconfig:28

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
    depends on X86
    help
      This option selects High Precision Event Timer (HPET) as a
      system timer.

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