path: root/cfg/timer/hpet.scc

# SPDX-License-Identifier: MIT
define KFEATURE_DESCRIPTION "HPET Timer Support"
define KFEATURE_COMPATIBILITY arch

kconf hardware hpet.cfg