diff options
author | Robert Schwebel <r.schwebel@pengutronix.de> | 2021-03-08 10:23:54 +0100 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2021-03-15 09:42:18 +0100 |
commit | 916fb2112424667b366b581fd59eeec5e783c17e (patch) | |
tree | 8692646df5f148979cb4053ad0629ab1c2f2a069 /configs/platform-v7a | |
parent | a89c21d3306a2e3b4bebc9bcf28641d5ed97bec5 (diff) | |
download | DistroKit-916fb2112424667b366b581fd59eeec5e783c17e.tar.gz DistroKit-916fb2112424667b366b581fd59eeec5e783c17e.tar.xz |
platform-v7a: oldconfig kernel
The kernel config is currently not clean. Run ptxdist oldconfig kernel.
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
Diffstat (limited to 'configs/platform-v7a')
-rw-r--r-- | configs/platform-v7a/kernelconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/platform-v7a/kernelconfig b/configs/platform-v7a/kernelconfig index 24d5b7c..b32a368 100644 --- a/configs/platform-v7a/kernelconfig +++ b/configs/platform-v7a/kernelconfig @@ -769,7 +769,6 @@ CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y # end of GCOV-based kernel profiling CONFIG_HAVE_GCC_PLUGINS=y -# CONFIG_GCC_PLUGINS is not set # end of General architecture-dependent options CONFIG_RT_MUTEXES=y |