diff options
| -rw-r--r-- | target/linux/generic/config-4.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/target/linux/generic/config-4.1 b/target/linux/generic/config-4.1 index 9f5904c93d..35ce53a8a9 100644 --- a/target/linux/generic/config-4.1 +++ b/target/linux/generic/config-4.1 @@ -3014,6 +3014,7 @@ CONFIG_PROC_SYSCTL=y # CONFIG_PROVE_LOCKING is not set # CONFIG_PROVE_RCU is not set # CONFIG_PROVE_RCU_DELAY is not set +# CONFIG_PROVE_RCU_REPEATEDLY is not set # CONFIG_PSB6970_PHY is not set # CONFIG_PSTORE is not set # CONFIG_PTP_1588_CLOCK is not set @@ -3061,6 +3062,7 @@ CONFIG_PROC_SYSCTL=y # CONFIG_RBTREE_TEST is not set # CONFIG_RCU_CPU_STALL_INFO is not set CONFIG_RCU_CPU_STALL_TIMEOUT=60 +# CONFIG_RCU_EXPEDITE_BOOT is not set CONFIG_RCU_FANOUT=32 # CONFIG_RCU_FANOUT_EXACT is not set CONFIG_RCU_FANOUT_LEAF=16 @@ -4114,6 +4116,7 @@ CONFIG_TMPFS_XATTR=y # CONFIG_TPS65010 is not set # CONFIG_TPS6507X is not set # CONFIG_TR is not set +# CONFIG_TRACE_ENUM_MAP_FILE is not set # CONFIG_TRACEPOINT_BENCHMARK is not set # CONFIG_TRACER_SNAPSHOT is not set # CONFIG_TRACER_SNAPSHOT_PER_CPU_SWAP is not set |