tmakin/ack-tegra
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ANDROID: gki_defconfig: Enable CONFIG_PROVE_LOCKING for android-mainline

Browse Source 
This patch enables CONFIG_PROVE_LOCKING in android-mainline
in order to raise awareness in early device development of
lockdep warnings.

Lockdep is a very useful debug tool to find locking problems,
before they are actually hit. However it can only find one issue
at a time (it disables itself after it trips a warning). Thus if
folks ignore lockdep warnings in one area of code, it makes the
tool unusable to find real locking problems in other areas of
code.

Additionally, having it enabled in android-mainline can ensure
we catch and report upstream lockdep regressions quickly without
doubling our config testing matrix.

So while this should be disabled for android-LTS branches, lets
turn it on for android-mainline.

Bug: 300341704
Change-Id: I6466774ca8dd7d2bbbb100e77255a83db5472fec
Signed-off-by: John Stultz <jstultz@google.com>
This commit is contained in:
John Stultz
2023-09-13 19:23:33 +00:00
parent 72d355a5fe
commit 78b7fb432a
3 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
arch/arm64/configs/gki_defconfig
+2 -1
View File
@@ -38,7 +38,6 @@ CONFIG_NAMESPACES=y
CONFIG_BOOT_CONFIG=y
# CONFIG_SYSFS_SYSCALL is not set
# CONFIG_FHANDLE is not set
CONFIG_KALLSYMS_ALL=y
# CONFIG_RSEQ is not set
CONFIG_EMBEDDED=y
CONFIG_PROFILING=y
@@ -444,6 +443,7 @@ CONFIG_USB_VIDEO_CLASS=y
CONFIG_V4L_PLATFORM_DRIVERS=y
CONFIG_V4L_MEM2MEM_DRIVERS=y
CONFIG_DRM=y
# CONFIG_DRM_DEBUG_MODESET_LOCK is not set
CONFIG_BACKLIGHT_CLASS_DEVICE=y
CONFIG_SOUND=y
CONFIG_SND=y
@@ -699,6 +699,7 @@ CONFIG_PANIC_TIMEOUT=-1
CONFIG_SOFTLOCKUP_DETECTOR=y
CONFIG_WQ_WATCHDOG=y
CONFIG_SCHEDSTATS=y
CONFIG_PROVE_LOCKING=y
CONFIG_HIST_TRIGGERS=y
CONFIG_PID_IN_CONTEXTIDR=y
CONFIG_KUNIT=y
arch/riscv/configs/gki_defconfig
+2 -1
View File
@@ -37,7 +37,6 @@ CONFIG_NAMESPACES=y
CONFIG_BOOT_CONFIG=y
# CONFIG_SYSFS_SYSCALL is not set
# CONFIG_FHANDLE is not set
CONFIG_KALLSYMS_ALL=y
# CONFIG_RSEQ is not set
CONFIG_EMBEDDED=y
CONFIG_PROFILING=y
@@ -400,6 +399,7 @@ CONFIG_USB_VIDEO_CLASS=y
CONFIG_V4L_PLATFORM_DRIVERS=y
CONFIG_V4L_MEM2MEM_DRIVERS=y
CONFIG_DRM=y
# CONFIG_DRM_DEBUG_MODESET_LOCK is not set
CONFIG_BACKLIGHT_CLASS_DEVICE=y
CONFIG_SOUND=y
CONFIG_SND=y
@@ -641,6 +641,7 @@ CONFIG_PANIC_TIMEOUT=-1
CONFIG_SOFTLOCKUP_DETECTOR=y
CONFIG_WQ_WATCHDOG=y
CONFIG_SCHEDSTATS=y
CONFIG_PROVE_LOCKING=y
CONFIG_SYNTH_EVENTS=y
CONFIG_KUNIT=y
CONFIG_KUNIT_DEBUGFS=y
arch/x86/configs/gki_defconfig
+2 -1
View File
@@ -43,7 +43,6 @@ CONFIG_BOOT_CONFIG=y
# CONFIG_SYSFS_SYSCALL is not set
# CONFIG_FHANDLE is not set
# CONFIG_PCSPKR_PLATFORM is not set
CONFIG_KALLSYMS_ALL=y
# CONFIG_RSEQ is not set
CONFIG_EMBEDDED=y
CONFIG_PROFILING=y
@@ -413,6 +412,7 @@ CONFIG_USB_VIDEO_CLASS=y
CONFIG_V4L_PLATFORM_DRIVERS=y
CONFIG_V4L_MEM2MEM_DRIVERS=y
CONFIG_DRM=y
# CONFIG_DRM_DEBUG_MODESET_LOCK is not set
CONFIG_BACKLIGHT_CLASS_DEVICE=y
CONFIG_SOUND=y
CONFIG_SND=y
@@ -649,6 +649,7 @@ CONFIG_PANIC_TIMEOUT=-1
CONFIG_SOFTLOCKUP_DETECTOR=y
CONFIG_WQ_WATCHDOG=y
CONFIG_SCHEDSTATS=y
CONFIG_PROVE_LOCKING=y
CONFIG_HIST_TRIGGERS=y
CONFIG_UNWINDER_FRAME_POINTER=y
CONFIG_KUNIT=y