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

kconf hardware hpet.cfg