diff options
Diffstat (limited to 'arch/mips/configs/wrppmc_defconfig')
-rw-r--r-- | arch/mips/configs/wrppmc_defconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/mips/configs/wrppmc_defconfig b/arch/mips/configs/wrppmc_defconfig index e6b1dea55842..c10267d61cc9 100644 --- a/arch/mips/configs/wrppmc_defconfig +++ b/arch/mips/configs/wrppmc_defconfig | |||
@@ -155,6 +155,8 @@ CONFIG_HZ=1000 | |||
155 | CONFIG_PREEMPT_NONE=y | 155 | CONFIG_PREEMPT_NONE=y |
156 | # CONFIG_PREEMPT_VOLUNTARY is not set | 156 | # CONFIG_PREEMPT_VOLUNTARY is not set |
157 | # CONFIG_PREEMPT is not set | 157 | # CONFIG_PREEMPT is not set |
158 | CONFIG_LOCKDEP_SUPPORT=y | ||
159 | CONFIG_STACKTRACE_SUPPORT=y | ||
158 | CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" | 160 | CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" |
159 | 161 | ||
160 | # | 162 | # |
@@ -829,6 +831,7 @@ CONFIG_MSDOS_PARTITION=y | |||
829 | # | 831 | # |
830 | # Kernel hacking | 832 | # Kernel hacking |
831 | # | 833 | # |
834 | CONFIG_TRACE_IRQFLAGS_SUPPORT=y | ||
832 | # CONFIG_PRINTK_TIME is not set | 835 | # CONFIG_PRINTK_TIME is not set |
833 | # CONFIG_MAGIC_SYSRQ is not set | 836 | # CONFIG_MAGIC_SYSRQ is not set |
834 | # CONFIG_UNUSED_SYMBOLS is not set | 837 | # CONFIG_UNUSED_SYMBOLS is not set |