diff --git a/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex b/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex
index 1fb86701a7..5a44204d6f 100644
--- a/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex
+++ b/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex
@@ -148,7 +148,7 @@ \section{U-Boot setup}
 
 \begin{bashinput}
 $ sudo apt install libssl-dev device-tree-compiler swig \
-       python3-dev python3-setuptools uuid-dev
+       python3-dev python3-setuptools uuid-dev libgnutls28-dev
 \end{bashinput}
 
 \item Finally, run \bashcmd{make DEVICE_TREE=stm32mp157a-dk1}