diff options
-rw-r--r-- | target/linux/generic/config-3.0 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/target/linux/generic/config-3.0 b/target/linux/generic/config-3.0 index bb75c724e..71799140b 100644 --- a/target/linux/generic/config-3.0 +++ b/target/linux/generic/config-3.0 @@ -375,7 +375,9 @@ CONFIG_CLS_U32_MARK=y CONFIG_CLS_U32_PERF=y CONFIG_CMDLINE="" # CONFIG_CMDLINE_BOOL is not set +# CONFIG_CMDLINE_EXTEND is not set # CONFIG_CMDLINE_FORCE is not set +# CONFIG_CMDLINE_FROM_BOOTLOADER is not set # CONFIG_CNIC is not set # CONFIG_CODA_FS is not set # CONFIG_CODE_PATCHING_SELFTEST is not set @@ -1994,6 +1996,7 @@ CONFIG_PROC_SYSCTL=y # CONFIG_RAW_DRIVER is not set # CONFIG_RC_CORE is not set # CONFIG_RCU_CPU_STALL_DETECTOR is not set +CONFIG_RCU_CPU_STALL_TIMEOUT=60 CONFIG_RCU_FANOUT=32 # CONFIG_RCU_FANOUT_EXACT is not set # CONFIG_RCU_FAST_NO_HZ is not set |