feat: Enhance build instructions for BeagleBadge

Enhance and fix all build instructions for BeagleBadge across
U-Boot, Linux kernel, TF-A, and Arago dist build guides.

Signed-off-by: Judith Mendez <jm@ti.com>

Author: jmenti

source/boards/beagle/BeagleBadge/linux/Getting_Started.rst

@@ -20,17 +20,20 @@ Low level sources
 
 .. list-table::
    :header-rows: 1
-   :widths: 15, 15, 15
+   :widths: 15, 15, 15, 15
 
    * - Component
      - Branch
      - Source File
+     - Build Instructions
    * - U-Boot
      - `ti-u-boot-2025.01 <https://git.ti.com/cgit/ti-u-boot/ti-u-boot/log/?h=ti-u-boot-2025.01>`__
      - :file:`configs/am62lx_beaglebadge_defconfig`
+     - :ref:`U-Boot Build Guide <u-boot-build-guide-setup-k3>`
    * - Linux Kernel
      - `ti-linux-6.12.y <https://git.ti.com/cgit/ti-linux-kernel/ti-linux-kernel/log/?h=ti-linux-6.12.y>`__
      - :file:`arch/arm64/boot/dts/ti/k3-am62l3-beaglebadge.dts`
+     - :ref:`Linux Kernel Build Guide <preparing-to-build>`
 
 ########################
 Building for BeagleBadge
@@ -44,18 +47,20 @@ Building for BeagleBadge
    $ cd build
    $ . conf/setenv
    $ export MACHINE=beaglebadge-ti
-   $ ARAGO_SYSVINIT=1 bitbake -k tisdk-tiny-image
+   $ bitbake -k tisdk-default-image
 
 For more information on building Arago for BeagleBadge, go :ref:`here <building-the-sdk-with-yocto>`.
 
 .. note::
 
-   Yocto: Due to the 256MB size of LPDDR on BeagleBadge, there may be limited free memory (about 17-20MB)
-   for developing applications with the **default**, TI-provided Arago distribution image. Switching to
-   sysVinit for init system instead of systemd can help reduce the memory footprint further. Please go
-   `here <https://www.linuxjournal.com/content/embracing-future-transition-sysvinit-systemd-linux>`__
+   Yocto: Due to the 256MB size of LPDDR on BeagleBadge, there may be limited free memory availiable for
+   developing applications with the **default**, TI-provided Arago distribution image. Switching to sysVinit
+   for init system instead of systemd and building TI **tiny** image can help reduce the memory footprint.
+   Please go `here <https://www.linuxjournal.com/content/embracing-future-transition-sysvinit-systemd-linux>`__
    for a comparison of both init systems.
 
+   $ ARAGO_SYSVINIT=1 bitbake -k tisdk-tiny-image
+
 To build Armbian for BeagleBadge, refer to **Debian SDK user manual** found `here <https://www.ti.com/tool/download/AM62L-LINUX-SDK>`__.
 
 ###################

source/linux/Foundational_Components/Kernel/_Users_Guide.rst

@@ -370,6 +370,8 @@ Compiling the Device Tree Binaries
     +===========================================+======================================+
     | AM62Lx EVM                                | k3-am62l3-evm.dts                    |
     +-------------------------------------------+--------------------------------------+
+    | BeagleBadge                               | k3-am62l3-badge.dts                  |
+    +-------------------------------------------+--------------------------------------+
     | AM62Px SK                                 | k3-am62p5-sk.dts                     |
     +-------------------------------------------+--------------------------------------+
     | AM62Ax SK                                 | k3-am62a7-sk.dts                     |

source/linux/Foundational_Components/U-Boot/BG-Build-K3.rst

@@ -423,9 +423,10 @@ All of these binaries are available in the SDK at :file:`<path to tisdk>/board-s
 .. ifconfig:: CONFIG_part_variant in ('AM62LX')
 
    .. csv-table::
-      :header: "Board","SD / eMMC / UART / OSPI / USB DFU / USB MSC"
+      :header: "Board","SD / UART / OSPI / USB DFU","USB MSC"
 
-      "AM62LX EVM", ``am62lx_evm_defconfig``
+      "AM62LX EVM", ``am62lx_evm_defconfig``, ``am62lx_evm_defconfig``
+      "BeagleBadge", ``am62lx_badge_defconfig``, ""
 
    .. note::
 
@@ -438,6 +439,15 @@ All of these binaries are available in the SDK at :file:`<path to tisdk>/board-s
       $ export TFA_DIR=<path-to-arm-trusted-firmware>
       $ export OPTEE_DIR=<path-to-ti-optee-os>
 
+      # Build for AM62LX EVM:
+      $ export UBOOT_CONFIG=am62lx_evm_defconfig
+      $ export TFA_BOARD=am62lx
+
+      # Build for BeagleBadge:
+      $ export UBOOT_CONFIG=am62lx_badge_defconfig
+      $ export TFA_BOARD=am62l3_badge # on ti-tfa-2.14.y
+      $ export TFA_BOARD=am62lx_badge # on ti-master
+
    .. note::
 
       The instructions below assume all binaries are built manually.
@@ -451,10 +461,10 @@ All of these binaries are available in the SDK at :file:`<path to tisdk>/board-s
    .. code-block:: console
 
       $ cd $UBOOT_DIR
-      $ make CROSS_COMPILE="$CROSS_COMPILE_64" am62lx_evm_defconfig
+      $ make CROSS_COMPILE="$CROSS_COMPILE_64" $UBOOT_CONFIG
       $ make CROSS_COMPILE="$CROSS_COMPILE_64" \
-         BL1=$TFA_DIR/build/k3low/am62lx/release/bl1.bin \
-         BL31=$TFA_DIR/build/k3low/am62lx/release/bl31.bin \
+         BL1=$TFA_DIR/build/k3low/$TFA_BOARD/release/bl1.bin \
+         BL31=$TFA_DIR/build/k3low/$TFA_BOARD/release/bl31.bin \
          BINMAN_INDIRS=$TI_LINUX_FW_DIR \
          TEE=$OPTEE_DIR/out/arm-plat-k3/core/tee-pager_v2.bin
 

source/linux/Foundational_Components_ATF.rst

@@ -115,13 +115,19 @@ Where <hash> is the commit shown in :ref:`release-specific-build-information`.
 
     .. ifconfig:: CONFIG_part_variant in ('AM62LX')
 
+        .. code-block:: console
+
+            $ export TFA_BOARD=am62lx # for AM62L EVM
+            $ export TFA_BOARD=am62l3_badge # for BeagleBadge on ti-tfa-2.14.y
+            $ export TFA_BOARD=am62lx_badge # for BeagleBadge on ti-master
+            $ export TFA_DIR=<path-to-arm-trusted-firmware>
+
         *Without OP-TEE enabled:*
 
             .. code-block:: console
 
-               $ export TFA_DIR=<path-to-arm-trusted-firmware>
                $ cd $TFA_DIR
-               $ make ARCH=aarch64 CROSS_COMPILE="$CROSS_COMPILE_64" PLAT=k3low TARGET_BOARD=am62lx
+               $ make ARCH=aarch64 CROSS_COMPILE="$CROSS_COMPILE_64" PLAT=k3low TARGET_BOARD=$TFA_BOARD
 
 .. ifconfig:: CONFIG_part_variant in ('J721S2')