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

[Michael Opdenacker]

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>


>---------------------------------------------------------------

5fe6468e213f56688cd7b57c16bbb57a1d90803f
 .../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
 (\code{CONFIG_MTD_NAND_OMAP2}).
 
+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}