[bootlin/training-materials updates] master: labs/kernel-compiling-and-nfs-booting: disable CONFIG_PROVE_LOCKING (ac2efce0)

[Thomas Petazzoni]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/ac2efce093bb018aa09bc6763d79d2ef55b1e5de

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

commit ac2efce093bb018aa09bc6763d79d2ef55b1e5de
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Tue Mar 19 10:31:35 2019 +0100

    labs/kernel-compiling-and-nfs-booting: disable CONFIG_PROVE_LOCKING
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

ac2efce093bb018aa09bc6763d79d2ef55b1e5de
 .../kernel-compiling-and-nfs-booting.tex                               | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex b/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex
index 05e9fddb..0977cdce 100644
--- a/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex
+++ b/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex
@@ -86,6 +86,9 @@ Add the below options to support networking over USB device:
 	so that \code{CONFIG_USB_ETH=y}
 \end{itemize}
 
+Disable \code{CONFIG_PROVE_LOCKING} to work around a locking issue in
+the USB Gadget support.
+
 Make sure that this configuration has \code{CONFIG_ROOT_NFS=y} (support
 booting on an NFS exported root directory).