1 files changed, 16 insertions, 0 deletions

diff --git a/arch/mips/Kconfig b/arch/mips/Kconfig
index 12bf96334174..11bc17ce0ebf 100644
--- a/arch/mips/Kconfig
+++ b/arch/mips/Kconfig
@@ -91,6 +91,9 @@ config MACH_DECSTATION
         select BOOT_ELF32
         select CEVT_R4K
         select CSRC_R4K
+        select CPU_DADDI_WORKAROUNDS if 64BIT
+        select CPU_R4000_WORKAROUNDS if 64BIT
+        select CPU_R4400_WORKAROUNDS if 64BIT
         select DMA_NONCOHERENT
         select NO_IOPORT
         select IRQ_CPU
@@ -1606,6 +1609,19 @@ config GENERIC_CLOCKEVENTS_BROADCAST
         bool
 
 #
+# CPU non-features
+#
+config CPU_DADDI_WORKAROUNDS
+        bool
+
+config CPU_R4000_WORKAROUNDS
+        bool
+        select CPU_R4400_WORKAROUNDS
+
+config CPU_R4400_WORKAROUNDS
+        bool
+
+#
 # Use the generic interrupt handling code in kernel/irq/:
 #
 config GENERIC_HARDIRQS