STM32MP1 Developer Package - OpenSTLinux BSP

Revision as of 16:11, 23 November 2022 by Registered User

This article aims at giving the following information:

  • How to get the latest OP-TEE, TF-A, U-Boot, Linux® kernel, gcnano-driver and debug symbols for the STM32 microprocessor Series
  • Where to find the associated release note
  • Where to find the previous releases (archives)
Warning white.png Warning
To use efficiently this package, go through the Developer Package article relative to your STM32 microprocessor Series: Category:Developer Package

1 STM32MP1 ecosystem v4.1.0 release[edit]

The software package is provided AS IS, and by downloading it, you agree to be bound to the terms of the software license agreement (SLA0048). The detailed content licenses can be found here.

  • The OpenSTLinux BSP package is delivered through a tarball file named unknown revision for STM32MP157x-EV1 More info green.png, STM32MP157x-DKx More info green.png and STM32MP135x-DK More info green.png boards.

  • Download and install the STM32MP1 OpenSTLinux BSP package.
STM32MP1 Developer Package - STM32MP1 ecosystem v4.1.0 release
Download

Log on my.st.com before accessing the following link:
[unknown revision /unknown revision unknown revision ]

Installation
 cd <working directory path>/Developer-Package
 tar xvf unknown revision 
Release note

Details about the content of the OpenSTLinux BSP package are available in the associated STM32 MPU OpenSTLinux release note.

Archive box.png For information on older releases, go to Archives.

  • In the <Developer Package installation directory>/unknown revision , a tarball archive of the OpenSTLinux BSP components can be found.
  • The Linux kernel installation directory is named linux-stm32mp-<kernel version>:
unknown revision 	Linux kernel installation directory
├── [*].patch				ST patches to apply during the Linux kernel preparation (see next chapter)
├── fragment-[*].config			ST configuration fragments to apply during the Linux kernel configuration (see next chapter)
├── unknown revision 		Tarball file of the Linux kernel source code
├── README.HOW_TO.txt			Helper file for Linux kernel management: reference for Linux kernel build
└── series				List of all ST patches to apply
  • The gcnano driver installation directory is named gcnano-driver-stm32mp-<gcnano driver version>:
unknown revision 		gcnano-driver installation directory
    ├── unknown revision 	Tarball file of the gcnano-driver source code
    └── README.HOW_TO.txt					Helper file for gcnano-driver management: reference for gcnano-driver  build
  • The U-Boot installation directory is named u-boot-stm32mp-<U-Boot version>:
unknown revision 		U-Boot installation directory
    ├── [*].patch					ST patches to apply during the U-Boot preparation (see next chapter)
    ├── unknown revision 		U-Boot source code directory
    ├── Makefile.sdk					Makefile for the U-Boot compilation
    ├── README.HOW_TO.txt				Helper file for U-Boot management: reference for U-Boot build
    ├── series						List of all ST patches to apply
    └── unknown revision 	Tarball file of the U-Boot source code
  • The TF-A installation directory is named tf-a-stm32mp-<TF-A version>:
unknown revision 		TF-A installation directory
    ├── [*].patch				ST patches to apply during the TF-A preparation (see next chapter)
    ├── unknown revision 	TF-A source code directory
    ├── Makefile.sdk				Makefile for the TF-A compilation
    ├── README.HOW_TO.txt			Helper file for TF-A management: reference for TF-A build
    ├── series					List of all ST patches to apply
    └── unknown revision 	Tarball file of the TF-A source code
  • The OP-TEE installation directory is named optee-os-stm32mp-<OP-TEE version>:
unknown revision 		OP-TEE installation directory
    ├── [*].patch					ST patches to apply during the OP-TEE preparation (see next chapter)
    ├── unknown revision 		OP-TEE source code directory
    ├── fonts.tar.gz					fonts for OPTEE-OS
    ├── Makefile.sdk					Makefile for the OP-TEE compilation
    ├── unknown revision 	Tarball file of the OP-TEE source code
    ├── README.HOW_TO.txt				Helper file for OP-TEE management: reference for OP-TEE build
    └── series						List of all ST patches to apply
  • The FIP artifacts directory is named FIP_artifacts:
FIP_artifacts
├── arm-trusted-firmware
│   ├── bl32
│   │   ├── stm32mp15[*]				Device tree for TF-A → STM32MP15 boards
│   │   └── tf-a-bl32-stm32mp15.bin			Binary file for bl32 stage
│   ├── fwconfig
│   │   ├── stm32mp13[*]-fw-config-optee.dtb		Device tree for FW config → STM32MP13 boards
│   │   └── stm32mp15[*]-fw-config-optee.dtb		Device tree for FW config → STM32MP15 boards
│   ├── metada.bin					Store boot information
│   ├── tf-a-stm32mp13[*].stm32				FSBL binary→ STM32MP13 boards
│   └── tf-a-stm32mp15[*].stm32				FSBL binary → STM32MP15 boards
├── optee
│   ├── tee-header_v2-stm32mp13[*].bin			Binary file for OP-TEE OS → STM32MP13 boards
│   ├── tee-header_v2-stm32mp15[*].bin			Binary file for OP-TEE OS → STM32MP15 kits
│   ├── tee-pageable_v2-stm32mp13[*].bin		Binary file for OP-TEE OS → STM32MP13 boards
│   ├── tee-pageable_v2-stm32mp15[*].bin		Binary file for OP-TEE OS → STM32MP15 boards
│   ├── tee-pager_v2-stm32mp13[*].bin			Binary file for OP-TEE OS → STM32MP13 boards
│   └── tee-pager_v2-stm32mp15[*].bin			Binary file for OP-TEE OS → STM32MP15 boards
└── u-boot
    ├── u-boot-nodtb-stm32mp13.bin
    ├── u-boot-nodtb-stm32mp15.bin
    ├── u-boot-stm32mp13[*].dtb				Device tree for U-Boot → STM32MP13 boards
    └── u-boot-stm32mp15[*].dtb				Device tree for U-Boot → STM32MP15 boards
  • The debug symbol files are located under the <Developer Package installation directory>/unknown revision directory:
stm32mp1
├── arm-trusted-firmware
│   ├── bl32
│   │   └── debug
│   │       └── tf-a-bl32-stm32mp15.elf 	Debug symbol file for TF-A BL32
│   └── debug
│       ├── debug-tf-a-stm32mp13[*].stm32	Debug file for FSBL → STM32MP13 boards
│       ├── debug-tf-a-stm32mp15[*].stm32	Debug file for FSBL → STM32MP15 boards
│       ├── tf-a-bl2-emmc.elf 			Debug symbol file for TF-ATF-A for emmc boot stage
│       ├── tf-a-bl2-nand.elf 			Debug symbol file for TF-ATF-A for nand boot stage
│       ├── tf-a-bl2-nor.elf 			Debug symbol file for TF-ATF-A for nor boot stage
│       ├── tf-a-bl2-sdcard.elf 		Debug symbol file for TF-ATF-A for SDcard boot stage
│       ├── tf-a-bl2-uart.elf 			Debug symbol file for TF-ATF-A for UART downloading boot stage
│       └── tf-a-bl2-usb.elf 			Debug symbol file for TF-ATF-A for USB downloading boot stage
├── kernel
│   ├── config-5.15.67				Reference Config file for Linux kernel 
│   ├── vmlinux					Image of the Linux kernel 
├── optee
│   └── debug
│       ├── tee-stm32mp135f-dk.elf 		Debug symbol file for OP-TEE OS → STM32MP13 Discovery kits
│       ├── tee-stm32mp157a-dk1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157a-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157c-dk2.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157c-ed1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157c-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157d-dk1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157d-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157f-dk2.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157f-ed1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       └── tee-stm32mp157f-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
└── u-boot
    └── debug
        ├── u-boot-stm32mp13.elf 		Debug symbol file for U-Boot → STM32MP13 Discovery kits
        └── u-boot-stm32mp15.elf 		Debug symbol file for U-Boot → STM32MP15 boards


2 Archives Archive box.png[edit]

This wiki is for the v5 ecosystem releases. For information about the previous ecosystem releases, go through the Wiki archives.

2.1 STM32MP1 ecosystem v4.0.0 release[edit]

The software package is provided AS IS, and by downloading it, you agree to be bound to the terms of the software license agreement (SLA0048). The detailed content licenses can be found here.

  • The OpenSTLinux BSP package is delivered through a tarball file named unknown revision for STM32MP157x-EV1 More info green.png, STM32MP157x-DKx More info green.png and STM32MP135x-DK More info green.png boards.

  • Download and install the STM32MP1 OpenSTLinux BSP package.
STM32MP1 Developer Package - STM32MP1 ecosystem v4.0.0 release
Download

Log on my.st.com before accessing the following link:
[unknown revision /unknown revision unknown revision ]

Installation
 cd <working directory path>/Developer-Package
 tar xvf unknown revision 
Release note

Details about the content of the OpenSTLinux BSP package are available in the associated STM32 MPU OpenSTLinux release note.

Archive box.png For information on older releases, go to Archives.

  • In the <Developer Package installation directory>/unknown revision , a tarball archive of the OpenSTLinux BSP components can be found.
  • The Linux kernel installation directory is named linux-stm32mp-<kernel version>:
unknown revision 	Linux kernel installation directory
├── [*].patch				ST patches to apply during the Linux kernel preparation (see next chapter)
├── fragment-[*].config			ST configuration fragments to apply during the Linux kernel configuration (see next chapter)
├── unknown revision 		Tarball file of the Linux kernel source code
├── README.HOW_TO.txt			Helper file for Linux kernel management: reference for Linux kernel build
└── series				List of all ST patches to apply
  • The gcnano driver installation directory is named gcnano-driver-stm32mp-<gcnano driver version>:
unknown revision 		gcnano-driver installation directory
    ├── unknown revision 	Tarball file of the gcnano-driver source code
    └── README.HOW_TO.txt					Helper file for gcnano-driver management: reference for gcnano-driver  build
  • The U-Boot installation directory is named u-boot-stm32mp-<U-Boot version>:
unknown revision 		U-Boot installation directory
    ├── [*].patch					ST patches to apply during the U-Boot preparation (see next chapter)
    ├── unknown revision 		U-Boot source code directory
    ├── Makefile.sdk					Makefile for the U-Boot compilation
    ├── README.HOW_TO.txt				Helper file for U-Boot management: reference for U-Boot build
    ├── series						List of all ST patches to apply
    └── unknown revision 	Tarball file of the U-Boot source code
  • The TF-A installation directory is named tf-a-stm32mp-<TF-A version>:
unknown revision 		TF-A installation directory
    ├── [*].patch				ST patches to apply during the TF-A preparation (see next chapter)
    ├── unknown revision 	TF-A source code directory
    ├── Makefile.sdk				Makefile for the TF-A compilation
    ├── README.HOW_TO.txt			Helper file for TF-A management: reference for TF-A build
    ├── series					List of all ST patches to apply
    └── unknown revision 	Tarball file of the TF-A source code
  • The OP-TEE installation directory is named optee-os-stm32mp-<OP-TEE version>:
unknown revision 		OP-TEE installation directory
    ├── [*].patch					ST patches to apply during the OP-TEE preparation (see next chapter)
    ├── unknown revision 		OP-TEE source code directory
    ├── Makefile.sdk					Makefile for the OP-TEE compilation
    ├── unknown revision 	Tarball file of the OP-TEE source code
    ├── README.HOW_TO.txt				Helper file for OP-TEE management: reference for OP-TEE build
    └── series						List of all ST patches to apply
  • The FIP artifacts directory is named FIP_artifacts:
FIP_artifacts
├── arm-trusted-firmware
│   ├── bl32
│   │   ├── stm32mp157a-dk1-bl32.dtb			Device tree for TF-A → STM32MP15 Discovery kits
│   │   ├── stm32mp157a-ev1-bl32.dtb			Device tree for TF-A → STM32MP15 Evaluation boards
│   │   ├── stm32mp157c-dk2-bl32.dtb			Device tree for TF-A → STM32MP15 Discovery kits
│   │   ├── stm32mp157c-ed1-bl32.dtb			Device tree for TF-A → STM32MP15 Evaluation boards
│   │   ├── stm32mp157c-ev1-bl32.dtb			Device tree for TF-A → STM32MP15 Evaluation boards
│   │   ├── stm32mp157d-dk1-bl32.dtb			Device tree for TF-A → STM32MP15 Discovery kits
│   │   ├── stm32mp157d-ev1-bl32.dtb			Device tree for TF-A → STM32MP15 Evaluation boards
│   │   ├── stm32mp157f-dk2-bl32.dtb			Device tree for TF-A → STM32MP15 Discovery kits
│   │   ├── stm32mp157f-ed1-bl32.dtb			Device tree for TF-A → STM32MP15 Evaluation boards
│   │   ├── stm32mp157f-ev1-bl32.dtb			Device tree for TF-A → STM32MP15 Evaluation boards
│   │   └── tf-a-bl32-stm32mp15.bin			Binary file for bl32 stage
│   ├── fwconfig
│   │   ├── stm32mp135d-dk-fw-config-optee.dtb		Device tree for FW config → STM32MP13 Discovery kits
│   │   ├── stm32mp135f-dk-fw-config-optee.dtb		Device tree for FW config → STM32MP13 Discovery kits
│   │   ├── stm32mp157a-dk1-fw-config-optee.dtb		Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157a-dk1-fw-config-trusted.dtb	Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157a-ev1-fw-config-optee.dtb		Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157a-ev1-fw-config-trusted.dtb	Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157c-dk2-fw-config-optee.dtb		Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157c-dk2-fw-config-trusted.dtb	Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157c-ed1-fw-config-optee.dtb		Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157c-ed1-fw-config-trusted.dtb	Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157c-ev1-fw-config-optee.dtb		Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157c-ev1-fw-config-trusted.dtb	Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157d-dk1-fw-config-optee.dtb		Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157d-dk1-fw-config-trusted.dtb	Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157d-ev1-fw-config-optee.dtb		Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157d-ev1-fw-config-trusted.dtb	Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157f-dk2-fw-config-optee.dtb		Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157f-dk2-fw-config-trusted.dtb	Device tree for FW config → STM32MP15 Discovery kits
│   │   ├── stm32mp157f-ed1-fw-config-optee.dtb		Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157f-ed1-fw-config-trusted.dtb	Device tree for FW config → Evaluation boards
│   │   ├── stm32mp157f-ev1-fw-config-optee.dtb		Device tree for FW config → Evaluation boards
│   │   └── stm32mp157f-ev1-fw-config-trusted.dtb	Device tree for FW config → Evaluation boards
│   └── metada.bin					Store boot information
├── optee
│   ├── tee-header_v2-stm32mp135d-dk.bin		Binary file for OP-TEE OS → STM32MP13 Discovery kits
│   ├── tee-header_v2-stm32mp135f-dk.bin		Binary file for OP-TEE OS → STM32MP13 Evaluation boards
│   ├── tee-header_v2-stm32mp157a-dk1.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-header_v2-stm32mp157a-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-header_v2-stm32mp157c-dk2.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-header_v2-stm32mp157c-ed1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-header_v2-stm32mp157c-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-header_v2-stm32mp157d-dk1.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-header_v2-stm32mp157d-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-header_v2-stm32mp157f-dk2.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-header_v2-stm32mp157f-ed1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-header_v2-stm32mp157f-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pageable_v2-stm32mp135d-dk.bin		Binary file for OP-TEE OS → STM32MP13 Discovery kits
│   ├── tee-pageable_v2-stm32mp135f-dk.bin		Binary file for OP-TEE OS → STM32MP13 Evaluation boards
│   ├── tee-pageable_v2-stm32mp157a-dk1.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pageable_v2-stm32mp157a-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pageable_v2-stm32mp157c-dk2.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pageable_v2-stm32mp157c-ed1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pageable_v2-stm32mp157c-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pageable_v2-stm32mp157d-dk1.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pageable_v2-stm32mp157d-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pageable_v2-stm32mp157f-dk2.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pageable_v2-stm32mp157f-ed1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pageable_v2-stm32mp157f-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pager_v2-stm32mp135d-dk.bin			Binary file for OP-TEE OS → STM32MP13 Discovery kits
│   ├── tee-pager_v2-stm32mp135f-dk.bin			Binary file for OP-TEE OS → STM32MP13 Evaluation boards
│   ├── tee-pager_v2-stm32mp157a-dk1.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pager_v2-stm32mp157a-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pager_v2-stm32mp157c-dk2.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pager_v2-stm32mp157c-ed1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pager_v2-stm32mp157c-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pager_v2-stm32mp157d-dk1.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pager_v2-stm32mp157d-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   ├── tee-pager_v2-stm32mp157f-dk2.bin		Binary file for OP-TEE OS → STM32MP15 Discovery kits
│   ├── tee-pager_v2-stm32mp157f-ed1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
│   └── tee-pager_v2-stm32mp157f-ev1.bin		Binary file for OP-TEE OS → STM32MP15 Evaluation boards
└── u-boot
    ├── u-boot-nodtb-stm32mp13.bin
    ├── u-boot-nodtb-stm32mp15.bin
    ├── u-boot-stm32mp135d-dk-trusted.dtb		Device tree for U-Boot → STM32MP13 Discovery kits
    ├── u-boot-stm32mp135f-dk-trusted.dtb		Device tree for U-Boot → STM32MP13 Evaluation boards
    ├── u-boot-stm32mp157a-dk1-trusted.dtb		Device tree for U-Boot → STM32MP15 Discovery kits
    ├── u-boot-stm32mp157a-ev1-trusted.dtb		Device tree for U-Boot → STM32MP15 Evaluation boards
    ├── u-boot-stm32mp157c-dk2-trusted.dtb		Device tree for U-Boot → STM32MP15 Discovery kits
    ├── u-boot-stm32mp157c-ed1-trusted.dtb		Device tree for U-Boot → STM32MP15 Evaluation boards
    ├── u-boot-stm32mp157c-ev1-trusted.dtb		Device tree for U-Boot → STM32MP15 Evaluation boards
    ├── u-boot-stm32mp157d-dk1-trusted.dtb		Device tree for U-Boot → STM32MP15 Discovery kits
    ├── u-boot-stm32mp157d-ev1-trusted.dtb		Device tree for U-Boot → STM32MP15 Evaluation boards
    ├── u-boot-stm32mp157f-dk2-trusted.dtb		Device tree for U-Boot → STM32MP15 Discovery kits
    ├── u-boot-stm32mp157f-ed1-trusted.dtb		Device tree for U-Boot → STM32MP15 Evaluation boards
    └── u-boot-stm32mp157f-ev1-trusted.dtb		Device tree for U-Boot → STM32MP15 Evaluation boards
  • The debug symbol files are located under the <Developer Package installation directory>/unknown revision directory:
stm32mp1
├── arm-trusted-firmware
│   ├── bl32
│   │   └── debug
│   │       └── tf-a-bl32-stm32mp15.elf 	Debug symbol file for TF-A BL32
│   └── debug
│       ├── tf-a-bl2-emmc.elf 			Debug symbol file for TF-ATF-A for emmc boot stage
│       ├── tf-a-bl2-nand.elf 			Debug symbol file for TF-ATF-A for nand boot stage
│       ├── tf-a-bl2-nor.elf 			Debug symbol file for TF-ATF-A for nor boot stage
│       ├── tf-a-bl2-sdcard.elf 		Debug symbol file for TF-ATF-A for SDcard boot stage
│       ├── tf-a-bl2-uart.elf 			Debug symbol file for TF-ATF-A for UART downloading boot stage
│       └── tf-a-bl2-usb.elf 			Debug symbol file for TF-ATF-A for USB downloading boot stage
├── kernel
│   ├── config-5.15.24				Reference Config file for Linux kernel
│   └── vmlinux 				Debug symbol file for Linux kernel
├── optee
│   └── debug
│       ├── tee-stm32mp135d-dk.elf 		Debug symbol file for OP-TEE OS → STM32MP13 Discovery kits
│       ├── tee-stm32mp135f-dk.elf 		Debug symbol file for OP-TEE OS → STM32MP13 Discovery kits
│       ├── tee-stm32mp157a-dk1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157a-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157c-dk2.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157c-ed1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157c-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157d-dk1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157d-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       ├── tee-stm32mp157f-dk2.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Discovery kits
│       ├── tee-stm32mp157f-ed1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
│       └── tee-stm32mp157f-ev1.elf 		Debug symbol file for OP-TEE OS → STM32MP15 Evaluation boards
└── u-boot
    └── debug
        ├── u-boot-stm32mp13-trusted.elf 	Debug symbol file for U-Boot → STM32MP13 Discovery kits
        ├── u-boot-stm32mp157a-dk1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Discovery kits
        ├── u-boot-stm32mp157a-ev1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Evaluation boards
        ├── u-boot-stm32mp157c-dk2-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Discovery kits
        ├── u-boot-stm32mp157c-ed1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Evaluation boards
        ├── u-boot-stm32mp157c-ev1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Evaluation boards
        ├── u-boot-stm32mp157d-dk1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Discovery kits
        ├── u-boot-stm32mp157d-ev1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Evaluation boards
        ├── u-boot-stm32mp157f-dk2-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Discovery kits
        ├── u-boot-stm32mp157f-ed1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Evaluation boards
        └── u-boot-stm32mp157f-ev1-trusted.elf 	Debug symbol file for U-Boot → STM32MP15 Evaluation boards