# SPDX-License-Identifier: MIT
define KMACHINE intel-x86-64
define KTYPE standard
define KARCH x86

include ktypes/standard

include intel-x86-64.scc
kconf hardware intel-x86-hugepage.cfg
kconf hardware cfs-bandwidth.cfg