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¶

Kconfig definitions¶

At <Zephyr>/boards/x86/ehl_crb/Kconfig.defconfig:22

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:18

Menu path: (Top)

config HPET_TIMER
    bool
    default y
    depends on BOARD_EHL_CRB || BOARD_EHL_CRB_SBL

At <Zephyr>/drivers/timer/Kconfig:80

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:32 → <Zephyr>/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 TIMER_READS_ITS_FREQUENCY_AT_RUNTIME
    select TICKLESS_CAPABLE
    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.)