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