R3k systems have no R4k timer so there's no point in pulling code that's going to be dead. Signed-off-by: Maciej W. Rozycki <macro@xxxxxxxxxxxxxx> --- linux-dec-r3k-clock.patch Index: linux-20140329-3maxp/arch/mips/Kconfig =================================================================== --- linux-20140329-3maxp.orig/arch/mips/Kconfig +++ linux-20140329-3maxp/arch/mips/Kconfig @@ -168,9 +168,9 @@ config MACH_DECSTATION bool "DECstations" select BOOT_ELF32 select CEVT_DS1287 - select CEVT_R4K + select CEVT_R4K if CPU_R4X00 select CSRC_IOASIC - select CSRC_R4K + select CSRC_R4K if CPU_R4X00 select CPU_DADDI_WORKAROUNDS if 64BIT select CPU_R4000_WORKAROUNDS if 64BIT select CPU_R4400_WORKAROUNDS if 64BIT
