[FE training-materials-updates] Sysdev labs: add back CONFIG_PROVE_LOCKING

Michael Opdenacker michael.opdenacker at free-electrons.com
Tue Nov 12 10:09:02 CET 2013

Repository : git://git.free-electrons.com/training-materials.git

On branch  : master
Link       : http://git.free-electrons.com/training-materials/commit/?id=5fe6468e213f56688cd7b57c16bbb57a1d90803f


commit 5fe6468e213f56688cd7b57c16bbb57a1d90803f
Author: Michael Opdenacker <michael.opdenacker at free-electrons.com>
Date:   Tue Nov 12 10:06:42 2013 +0100

    Sysdev labs: add back CONFIG_PROVE_LOCKING
    - Didn't have time to make sure that this option is no longer needed
    - This time, put it in the flash filesystems lab
    Signed-off-by: Michael Opdenacker <michael.opdenacker at free-electrons.com>


 .../sysdev-flash-filesystems.tex                   |    5 +++++
 1 file changed, 5 insertions(+)

diff --git a/labs/sysdev-flash-filesystems/sysdev-flash-filesystems.tex b/labs/sysdev-flash-filesystems/sysdev-flash-filesystems.tex
index 9564d67..550fff2 100644
--- a/labs/sysdev-flash-filesystems/sysdev-flash-filesystems.tex
+++ b/labs/sysdev-flash-filesystems/sysdev-flash-filesystems.tex
@@ -35,6 +35,11 @@ partitions specified in the kernel command line
 Also enable support for the flash chips on the board
+Last but not least, disable \code{CONFIG_PROVE_LOCKING}. This option is
+currently causing problems with the JFFS2 filesystem. This option is
+in \code{Kernel Hacking} $\rightarrow$
+\code{Lock debugging: prove locking correctness}.
 Update your kernel image on flash.
 \section{Filesystem image preparation}

More information about the training-materials-updates mailing list