diff options
-rw-r--r-- | target/linux/generic/config-5.4 | 1 | ||||
-rw-r--r-- | target/linux/ipq807x/config-default | 1 | ||||
-rw-r--r-- | target/linux/rockchip/armv8/config-5.4 | 1 | ||||
-rw-r--r-- | target/linux/zynq/config-5.4 | 1 |
4 files changed, 1 insertions, 3 deletions
diff --git a/target/linux/generic/config-5.4 b/target/linux/generic/config-5.4 index 8473817000..46bc731f04 100644 --- a/target/linux/generic/config-5.4 +++ b/target/linux/generic/config-5.4 @@ -4123,6 +4123,7 @@ CONFIG_PRINT_STACK_DEPTH=64 CONFIG_PROC_FS=y # CONFIG_PROC_KCORE is not set # CONFIG_PROC_PAGE_MONITOR is not set +# CONFIG_PROC_STRIPPED is not set CONFIG_PROC_SYSCTL=y # CONFIG_PROC_VMCORE_DEVICE_DUMP is not set # CONFIG_PROFILE_ALL_BRANCHES is not set diff --git a/target/linux/ipq807x/config-default b/target/linux/ipq807x/config-default index 337e660cdf..9ee84791a1 100644 --- a/target/linux/ipq807x/config-default +++ b/target/linux/ipq807x/config-default @@ -502,7 +502,6 @@ CONFIG_PREEMPT_COUNT=y CONFIG_PREEMPT_RCU=y CONFIG_PRINTK_TIME=y CONFIG_PROC_PAGE_MONITOR=y -# CONFIG_PROC_STRIPPED is not set CONFIG_PTP_1588_CLOCK=y CONFIG_PWM=y CONFIG_PWM_SYSFS=y diff --git a/target/linux/rockchip/armv8/config-5.4 b/target/linux/rockchip/armv8/config-5.4 index f11cb3e81f..763de6fa77 100644 --- a/target/linux/rockchip/armv8/config-5.4 +++ b/target/linux/rockchip/armv8/config-5.4 @@ -346,7 +346,6 @@ CONFIG_PREEMPT_RCU=y CONFIG_PRINTK_TIME=y # CONFIG_PRINT_QUOTA_WARNING is not set CONFIG_PROC_PAGE_MONITOR=y -# CONFIG_PROC_STRIPPED is not set CONFIG_PROC_VMCORE=y CONFIG_PWM=y CONFIG_PWM_ROCKCHIP=y diff --git a/target/linux/zynq/config-5.4 b/target/linux/zynq/config-5.4 index 04fde2add2..8d702a83b9 100644 --- a/target/linux/zynq/config-5.4 +++ b/target/linux/zynq/config-5.4 @@ -514,7 +514,6 @@ CONFIG_POWER_RESET_VEXPRESS=y CONFIG_POWER_SUPPLY=y CONFIG_PPS=y CONFIG_PROC_EVENTS=y -# CONFIG_PROC_STRIPPED is not set CONFIG_PTP_1588_CLOCK=y CONFIG_R8169=y CONFIG_RAS=y |