Add compile the linux kernel on Petalinux guide

Signed-off-by: Jorge Marques <jorge.marques@analog.com>
analogdevicesinc · Sep 16, 2024 · 8b9f400 · 8b9f400
1 parent dde0fec
commit 8b9f400
Show file tree

Hide file tree

Showing 3 changed files with 618 additions and 5 deletions.
diff --git a/docs/linux/kernel/index.rst b/docs/linux/kernel/index.rst
@@ -3,6 +3,11 @@
 Linux Kernel and devicetrees
 """"""""""""""""""""""""""""
 
+.. toctree::
+   :hidden:
+
+   petalinux
+
 This section provides a concise guide on building the Linux kernel and
 devicetrees for different platforms on different hosts.
 
@@ -46,8 +51,8 @@ Running the script in one line, with defaults:
    chmod +x build_zynq_kernel_image.sh && \
    ./build_zynq_kernel_image.sh
 
-Building using Petalinux
-------------------------
+Building with Petalinux
+-----------------------
 
 Please see here: :ref:`linux-kernel petalinux`.
 
@@ -473,8 +478,8 @@ Running the script in one line, with defaults:
    ./build_zynqmp_kernel_image.sh
 
 
-Building using Petalinux
-------------------------
+Building with Petalinux
+-----------------------
 
 Please see here: :ref:`linux-kernel petalinux`.