include x86_base.scc
include smp.scc
include timer/hz_1000.scc
kconf hardware x86_64.cfg