diff options
Diffstat (limited to 'kernel-armv7hl.config')
| -rw-r--r-- | kernel-armv7hl.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-armv7hl.config b/kernel-armv7hl.config index b9701054f..ec6274314 100644 --- a/kernel-armv7hl.config +++ b/kernel-armv7hl.config @@ -4391,7 +4391,7 @@ CONFIG_OPENVSWITCH_VXLAN=m CONFIG_OPT3001=m CONFIG_OPTEE=m CONFIG_OPTEE_SHM_NUM_PRIV_PAGES=1 -CONFIG_OPTIMIZE_INLINING=y +# CONFIG_OPTIMIZE_INLINING is not set CONFIG_OPTPROBES=y CONFIG_ORANGEFS_FS=m CONFIG_ORINOCO_USB=m |