diff options
-rw-r--r-- | cfg/x86.scc | 10 | ||||
-rw-r--r-- | cfg/x86_64.scc | 10 |
2 files changed, 10 insertions, 10 deletions
diff --git a/cfg/x86.scc b/cfg/x86.scc index ea228307..b272ffdf 100644 --- a/cfg/x86.scc +++ b/cfg/x86.scc @@ -1,6 +1,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 +include efi.scc +include smp.scc +include timer/hpet.scc +include timer/no_hz.scc +include timer/hz_1000.scc kconf hardware x86.cfg diff --git a/cfg/x86_64.scc b/cfg/x86_64.scc index 15377ea9..eed35f9e 100644 --- a/cfg/x86_64.scc +++ b/cfg/x86_64.scc @@ -1,6 +1,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 +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 |