docs(debian): Update AM62Px for 11.01.16.13 release

Added release notes, fixed formatting, and updated some content.
Updates following Oct 2025 AM62Px PG1.2 release.

Signed-off-by: Jonas Wood <jw@ti.com>

Author: jonaswood01

configs/AM62PX/AM62PX_debian_config.txt

@@ -16,12 +16,13 @@ Replacement Variables
 '__PART_FAMILY_NAME__'           : 'AM62Px'
 '__PART_FAMILY_DEVICE_NAMES__'   : 'AM62Px'
 '__PRODUCT_LINE_NAME__'          : 'Sitara MPU'
-'__SDK_BUILD_MACHINE__'          : 'am62xx-evm'
+'__SDK_BUILD_MACHINE__'          : 'am62pxx-evm'
 '__SDK_FULL_NAME__'              : 'Debian for AM62Px'
 '__SDK_SHORT_NAME__'             : 'Debian'
 '__SDK_DOWNLOAD_URL__'           : '`AM62Px-SDK-Download-page <https://www.ti.com/tool/PROCESSOR-SDK-AM62P>`__'
 '__LINUX_UBUNTU_VERSION_LONG__'  : '22.04 (64-bit)'
 '__LINUX_UBUNTU_VERSION_SHORT__' : '22.04'
+'__OPTEE_PLATFORM_FLAVOR__'      : 'k3-am62px'
 
 Configuration Values
 --------------------

configs/AM62PX/AM62PX_debian_toc.txt

@@ -1,6 +1,8 @@
 devices/AM62PX/debian/index
 
 debian/Overview
+devices/AM62PX/linux/Release_Specific
+devices/AM62PX/linux/Release_Specific_Release_Notes
 devices/AM62PX/debian/Getting_Started_Guide
 debian/Building_Debian_Image
 debian/Building_Debian_Packages

source/devices/AM62PX/debian/Getting_Started_Guide.rst

@@ -4,84 +4,83 @@
 Getting Started with Debian
 ***************************
 
-The SD card Image tisdk-debian-bookworm-<machine> provided on the |__SDK_DOWNLOAD_URL__| is all you need to get started and explore Debian on TI microprocessors.
+The SD card Debian Image provided on the |__SDK_DOWNLOAD_URL__| is all you need to get started and explore
+Debian on TI microprocessors.
 
-The Debian Image provided has all the basic packages required to boot with weston as default window manager. The user can install any new package by using inbuilt 'apt' utility
-and customize the filesystem as required.
+The Debian Image provided has all the basic packages required to boot with weston as default window manager.
+The user can install any new package using Debian's default ``apt`` package manager and customize the
+filesystem as desired.
 
-Follow the steps mentioned in this page to create an SD Card.
+Follow the steps mentioned in this page to flash an SD Card.
 
 Hardware Setup
 --------------
 
-In addition to the SK Evaluation Module (EVM) itself, use the following hardware:
+In addition to the SK Evaluation Module (EVM) itself, the following hardware is needed:
 
-1. USB Type-C 5V - 15V and 3A power supply
-2. Micro-SD card reader
-3. Micro-SD card (16GB or larger recommended)
-4. USB Micro-B cable for UART serial communication
-5. HDMI display and HDMI cable
-6. USB mouse and Keyboard (For controlling the UI)
-7. Ethernet cable (For network access)
+-  USB Type-C 5V - 15V and 3A power supply
+-  Micro-SD card reader
+-  Micro-SD card (16GB or larger recommended)
+-  USB Micro-B cable for UART serial communication
+-  HDMI display and HDMI cable
+-  USB mouse and Keyboard (For controlling the UI)
+-  Ethernet cable or CC33xx M.2 WiFi card (For network access)
 
-Create SD Card using balenaEtcher
----------------------------------
+.. _processor-sdk-debian-create-sd-card:
 
-1.  Download the default bootable SD card image (WIC file) available on the release page as
-    tisdk-debian-bookworm-<machine>.wic.xz
-
-|
+Flash SD Card using balenaEtcher
+--------------------------------
 
-2.  Download and install the balenaEtcher tool:
+#. Download the default bootable SD card image (IMG file) available on the release page:
 
-        Balena Etcher is an open-source utility that can be installed on both Linux and Windows.
-        Download the tool from `this link <https://www.balena.io/etcher/>`__ and install it.
+   ``tisdk-debian-<debian version>-<TI EVM board>-<TI PSDK version>-Armbian-<armbian version>.img``
 
-|
+#. Download and install the balenaEtcher tool:
 
-3.  Flash the WIC image to the SD card:
+   Balena Etcher is an open-source utility that can be installed on both Linux and Windows.
+   Download the tool from `this link <https://www.balena.io/etcher/>`__ and install it.
 
-        Insert a micro SD card into the USB SD card reader and start Etcher. Choose the debian wic
-        image to be flashed, choose the USB SD card reader as the target, and then click "Flash".
-        Etcher will decompress the image and write it to the SD card, as shown in the following:
+#. Flash the IMG image to the SD card:
 
-    .. Image:: /images/balena_etcher.png
+   Insert a micro SD card into the USB SD card reader and start Etcher. Choose the debian img
+   image to be flashed, choose the USB SD card reader as the target, and then click "Flash".
+   Etcher will decompress the image and write it to the SD card, as shown below:
 
-|
+   .. image:: /images/balena_etcher.png
 
 Set the EVM to SD card Boot mode
 --------------------------------
-The simplest way to run Linux on the SK EVM is through an SD card. For that, configure the EVM in SD card boot mode. Refer to `AM62Px SK EVM User's Guide <https://www.ti.com/tool/SK-AM62P-LP>`__ for detailed information about boot mode configurations. For quick reference, the following figure shows the boot mode switch setting for SD card boot.
+The simplest way to run Linux on the SK EVM is through an SD card. For that, configure the EVM for SD card boot mode. Refer to
+`AM62Px SK EVM User's Guide <https://www.ti.com/tool/SK-AM62P-LP>`__ for detailed information about boot mode configurations.
+For quick reference, the figure below shows the boot mode switch setting for SD card boot.
 
-.. Image:: /images/AM62x_SD_boot.jpg
+.. image:: /images/AM62x_SD_boot.jpg
 
 Boot and Validate Debian
 ------------------------
-Make sure to connect the Ethernet cable, HDMI Display, Mouse and Keyboard to the EVM. Insert the SD Card in the board and Power ON the EVM.
+Make sure to connect the Ethernet cable or CC33xx M.2 WiFi card, HDMI Display, Mouse and Keyboard to the EVM. Insert the SD Card in the board and Power ON the EVM.
 
-After a few moments, a configuration script will start running. This script will walk you through creating
-a user account, setting a root password, configuring the date and other initial setup options. When
-the setup finishes, restart the board. Upon reboot, the weston wallpaper should appear on your
-display.
+During first bootup, a setup script will run. This script guides the user through setting up user account, root password, date and so on.
+Once the setup ends, reboot the board. Weston screen will appear on the display.
 
-.. Image:: /images/debian_homescreen.png
+.. image:: /images/debian_homescreen.png
 
-You've successfully booted Debian on AM62x.
+You've successfully booted Debian on |__PART_FAMILY_DEVICE_NAMES__|.
 
 If the board is connected to a private network, setup the proxy to be able to access the Internet.
-For more info, refer to `apt.conf(5) man page <https://manpages.debian.org/bookworm/apt/apt.conf.5.en.html>`__
+For more info, refer to `apt.conf(5) man page <https://manpages.debian.org/trixie/apt/apt.conf.5.en.html>`__
 
 Also export ``http_proxy``, ``https_proxy``, ``ftp_proxy`` and ``no_proxy`` with appropriate values if needed.
 
 Do an ``apt update`` to make sure that the proxy is properly set and apt recognizes it. The sample output of the command is as shown below:.
 
-.. Image:: /images/debian_apt_update.png
+.. image:: /images/debian_apt_update.png
 
 To install any package available on Debian Standard Package Archive and TI Package Archive use ``apt install``.
 
 As an example to install and run ``fortune`` package.
 
-.. Image:: /images/debian_apt_install.png
+.. image:: /images/debian_apt_install.png
 
 More packages can be installed at runtime following the instructions provided to help with the development work flow.
 

source/devices/AM62PX/debian/index.rst

@@ -15,6 +15,7 @@ Debian Developer's Guide
    :numbered:
 
    /debian/Overview
+   /devices/AM62PX/linux/Release_Specific
    Getting_Started_Guide
    /debian/Building_Debian_Image
    /debian/Building_Debian_Packages

source/devices/AM62PX/linux/Release_Specific_Release_Notes.rst

@@ -34,6 +34,8 @@ status for all packages included in this release. The manifest can be
 found on the SDK download page or in the installed directory as indicated below.
 
 -  Linux Manifest:  :file:`<PSDK_PATH>/manifest/software_manifest.htm`
+-  Debian Manifest: `TI debian software manifest 11.01.16.13
+   <https://dr-download.ti.com/software-development/software-development-kit-sdk/MD-9ti3Ig9hNi/11.01.16.13/software_manifest_debian_am62pxx-evm_am62pxx-evm.htm>`__
 
 
 Release 11.01.16.13
@@ -80,6 +82,9 @@ What's new
 Build Information
 =================
 
+Arago (Yocto/OE)
+----------------
+
 .. list-table::
    :header-rows: 1
    :widths: 15, 30, 30, 30
@@ -121,6 +126,42 @@ Build Information
      - `11.01.16.13 <https://git.ti.com/cgit/ti-sdk-linux/meta-tisdk/tag/?h=11.01.16.13>`__
      -
 
+Debian (Armbian)
+----------------
+
+.. list-table::
+   :header-rows: 1
+   :widths: 15, 30, 30, 30
+
+   * - Component
+     - Branch Info
+     - Tag Info
+     - Config Info
+   * - U-Boot
+     - `ti-u-boot-2025.01 <https://github.com/TexasInstruments/ti-u-boot/tree/ti-u-boot-2025.01>`__
+     - `11.01.16 <https://github.com/TexasInstruments/ti-u-boot/releases/tag/11.01.16>`__
+     - `Build <https://github.com/TexasInstruments/armbian-build/blob/53f037d7be54ea1f203aa46aaf61b03eb9a58585/config/sources/families/k3.conf#L103>`__
+   * - ATF
+     - `master <https://github.com/ARM-Software/arm-trusted-firmware/tree/master>`__
+     - `v2.13+ <https://github.com/ARM-software/arm-trusted-firmware/commit/e0c4d3903b382bf34f552af53e6d955fae5283ab>`__
+     - `Build <https://github.com/TexasInstruments/armbian-build/blob/53f037d7be54ea1f203aa46aaf61b03eb9a58585/config/sources/families/k3.conf#L101>`__
+   * - OPTEE
+     - `master <https://github.com/OP-TEE/optee_os/tree/master>`__
+     - `4.7.0+ <https://github.com/OP-TEE/optee_os/commit/a9690ae39995af36a31b7a4f446f27ea0787e3a4>`__
+     - `Build <https://github.com/TexasInstruments/armbian-build/blob/53f037d7be54ea1f203aa46aaf61b03eb9a58585/config/sources/families/k3.conf#L130>`__
+   * - Linux Firmware
+     - `ti-linux-firmware <https://github.com/TexasInstruments/ti-linux-firmware/tree/ti-linux-firmware>`__
+     - `11.01.16 <https://github.com/TexasInstruments/ti-linux-firmware/releases/tag/11.01.16>`__
+     - `Git Clone <https://github.com/TexasInstruments/armbian-build/blob/53f037d7be54ea1f203aa46aaf61b03eb9a58585/config/sources/families/k3.conf#L116>`__
+   * - Linux Kernel
+     - `ti-linux-6.12.y <https://github.com/TexasInstruments/ti-linux-kernel/tree/ti-linux-6.12.y>`__
+     - `11.01.16 <https://github.com/TexasInstruments/ti-linux-kernel/releases/tag/11.01.16>`__
+     - `non-RT <https://github.com/TexasInstruments/armbian-build/blob/2025.10-release/config/kernel/linux-k3-current.config>`__, `RT <https://github.com/TexasInstruments/armbian-build/blob/2025.10-release/config/kernel/linux-k3-current-rt.config>`__
+   * - Armbian Build
+     - `2025.10-release <https://github.com/TexasInstruments/armbian-build/tree/2025.10-release>`__
+     - `11.01.16.13 <https://github.com/TexasInstruments/armbian-build/releases/tag/11.01.16.13>`__
+     - `Build <https://github.com/TexasInstruments/armbian-build/blob/2025.10-release/config/sources/families/k3.conf>`__, `Board <https://github.com/TexasInstruments/armbian-build/blob/2025.10-release/config/boards/am62pxx-evm.conf>`__
+
 
 Issues Tracker
 ==============