# SPDX-License-Identifier: MIT
CONFIG_HPET_TIMER=y
CONFIG_HPET_EMULATE_RTC=y
# enable /dev/hpet and allow it to be mmapped
CONFIG_HPET=y
CONFIG_HPET_MMAP=y