1 2 3 4 5 6
include efi.scc include smp.scc include timer/hpet.scc include timer/no_hz.scc include timer/hz_1000.scc kconf hardware x86_64.cfg