diff options
Diffstat (limited to 'arch/mips/configs/decstation_defconfig')
-rw-r--r-- | arch/mips/configs/decstation_defconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/mips/configs/decstation_defconfig b/arch/mips/configs/decstation_defconfig index 8683e0df12e0..be901df7fefa 100644 --- a/arch/mips/configs/decstation_defconfig +++ b/arch/mips/configs/decstation_defconfig | |||
@@ -147,6 +147,8 @@ CONFIG_HZ=128 | |||
147 | CONFIG_PREEMPT_NONE=y | 147 | CONFIG_PREEMPT_NONE=y |
148 | # CONFIG_PREEMPT_VOLUNTARY is not set | 148 | # CONFIG_PREEMPT_VOLUNTARY is not set |
149 | # CONFIG_PREEMPT is not set | 149 | # CONFIG_PREEMPT is not set |
150 | CONFIG_LOCKDEP_SUPPORT=y | ||
151 | CONFIG_STACKTRACE_SUPPORT=y | ||
150 | CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" | 152 | CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" |
151 | 153 | ||
152 | # | 154 | # |
@@ -828,6 +830,7 @@ CONFIG_ULTRIX_PARTITION=y | |||
828 | # | 830 | # |
829 | # Kernel hacking | 831 | # Kernel hacking |
830 | # | 832 | # |
833 | CONFIG_TRACE_IRQFLAGS_SUPPORT=y | ||
831 | # CONFIG_PRINTK_TIME is not set | 834 | # CONFIG_PRINTK_TIME is not set |
832 | CONFIG_MAGIC_SYSRQ=y | 835 | CONFIG_MAGIC_SYSRQ=y |
833 | # CONFIG_UNUSED_SYMBOLS is not set | 836 | # CONFIG_UNUSED_SYMBOLS is not set |