[bootlin/training-materials updates] master: labs/sysdev-kernel-cross-compiling: disable gcc plugin in the kernel (76cadc8d)

[Thomas Petazzoni]

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

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

commit 76cadc8d4379440cb3c79167135c10d2c688e1e1
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Tue Sep 27 20:59:33 2022 +0200

    labs/sysdev-kernel-cross-compiling: disable gcc plugin in the kernel
    
    Otherwise this requires installing libgmp/libmpc.
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

76cadc8d4379440cb3c79167135c10d2c688e1e1
 .../sysdev-kernel-cross-compiling.tex                      | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex b/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
index 21498cf4..130d13a2 100644
--- a/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
+++ b/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
@@ -79,8 +79,18 @@ in the \code{System Type} menu, remove support for all the SoCs except
 the STM32MP157 ones. Don't forget to disable the TI ones too which are
 in a submenu.
 
-Also disable \kconfig{CONFIG_DRM}, which will skip support for many
-GPU drivers.
+Also disable:
+
+\begin{itemize}
+
+\item \kconfig{CONFIG_DRM}, which will skip support for many display
+controller and GPU drivers
+
+\item \kconfig{CONFIG_GCC_PLUGINS}, which will skip building special
+  {\em gcc} plugins, which would require extra dependencies for the
+  build
+
+\end{itemize}
 
 Please note that this will definitely not build the smallest
 and most optimized kernel for STM32MP1: \code{multi_v7_defconfig}