diff --git a/arch/mips/Kconfig b/arch/mips/Kconfig index c6fc405a6c8e33348bfe69c1720dada4df2ab4be..291d368ffd281912b9570b6f940edfab6ce17223 100644 --- a/arch/mips/Kconfig +++ b/arch/mips/Kconfig @@ -992,8 +992,6 @@ config BOOT_ELF64 menu "CPU selection" -source "kernel/time/Kconfig" - choice prompt "CPU type" default CPU_R4X00 @@ -1768,6 +1766,8 @@ config NR_CPUS performance should round up your number of processors to the next power of two. +source "kernel/time/Kconfig" + # # Timer Interrupt Frequency Configuration #