# SPDX-License-Identifier: MIT
include x86_base.scc
include smp.scc
include timer/hz_1000.scc
kconf hardware x86.cfg