diff options
Diffstat (limited to 'kernel-armv7hl-debug.config')
| -rw-r--r-- | kernel-armv7hl-debug.config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kernel-armv7hl-debug.config b/kernel-armv7hl-debug.config index e34cc44ae..3813f7f14 100644 --- a/kernel-armv7hl-debug.config +++ b/kernel-armv7hl-debug.config @@ -1928,7 +1928,7 @@ CONFIG_GAMEPORT=m CONFIG_GAMEPORT_NS558=m # CONFIG_GCC_PLUGIN_LATENT_ENTROPY is not set # CONFIG_GCC_PLUGIN_RANDSTRUCT is not set -CONFIG_GCC_PLUGIN_STACKLEAK=y +# CONFIG_GCC_PLUGIN_STACKLEAK is not set # CONFIG_GCC_PLUGIN_STRUCTLEAK is not set CONFIG_GCC_PLUGINS=y # CONFIG_GCOV_KERNEL is not set @@ -4712,6 +4712,8 @@ CONFIG_PWM_BCM2835=m CONFIG_PWM_CROS_EC=m # CONFIG_PWM_FSL_FTM is not set CONFIG_PWM_HIBVT=m +# CONFIG_PWM_IMX1 is not set +# CONFIG_PWM_IMX27 is not set CONFIG_PWM_IMX=m CONFIG_PWM_MESON=m CONFIG_PWM_OMAP_DMTIMER=m @@ -7444,5 +7446,6 @@ CONFIG_ZSMALLOC=y CONFIG_ZSWAP=y # CONFIG_ZX_TDM is not set # CONFIG_ZYNQMP_FIRMWARE_DEBUG is not set +# CONFIG_ZYNQMP_IPI_MBOX is not set # CONFIG_ZYNQMP_PM_DOMAINS is not set # CONFIG_ZYNQMP_POWER is not set |