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