Diff between 66a85a319128b599c8ee66dec3bb1002b55aa938 and 9693a366c1038ef047507d6d652dfefc5ddec389

Changed Files

File Additions Deletions Status
doc/test-runner.txt +13 -0 modified

Full Patch

diff --git a/doc/test-runner.txt b/doc/test-runner.txt
index 421cd22..72e17ce 100644
--- a/doc/test-runner.txt
+++ b/doc/test-runner.txt
@@ -39,3 +39,16 @@ followed by this command.
 
 After that a default kernel with the required options can be built. More
 option (like the Bluetooth subsystem) can be enabled on top of this.
+
+Lock debuging
+-------------
+
+To catch locking related issues the following set of kernel config
+options may be useful:
+
+	CONFIG_LOCKDEP_SUPPORT=y
+	CONFIG_DEBUG_SPINLOCK=y
+	CONFIG_DEBUG_LOCK_ALLOC=y
+	CONFIG_PROVE_LOCKING=y
+	CONFIG_LOCKDEP=y
+	CONFIG_DEBUG_MUTEXES=y