# SPDX-License-Identifier: MIT
include efi.scc
include timer/hpet.scc
include timer/no_hz.scc
kconf hardware x86_base.cfg