STM32MP1

The instructions here will tell how to run OP-TEE on one of the supported STM32MP1 boards.

Supported boards

Board Name	Manufacturer	Boot media	Hardware Description
STM32MP135F-DK	STMicroelectronics	SDcard	Wiki STM32MP135x-DK
STM32MP157A-DK1	STMicroelectronics	SDcard	Wiki STM32MP157x-DKx
STM32MP157D-DK1
STM32MP157C-DK2	STMicroelectronics	SDcard	Wiki STM32MP157x-DKx
STM32MP157F-DK2
STM32MP157C-EV1	STMicroelectronics	SDCard (1)	Wiki STM32MP157x-EV1
STM32MP157F-EV1

(1): STM32MP157x-EV1 boards also integrate an eMMC device, a NOR flash and a Nand flash the system can boot on. OP-TEE distribution however only supports booting from the SDcard slot.

Build instructions

Follow the instructions at “Get and build the solution”.

Configuration switch PLATFORM can be used to specify the target device as listed in table below:

Board Name	Build configuration directive
STM32MP135F-DK	PLATFORM=stm32mp1-135F_DK
STM32MP157A-DK1 STM32MP157D-DK1	PLATFORM=stm32mp1-157A_DK1
STM32MP157C-DK2 STM32MP157F-DK2	PLATFORM=stm32mp1-157C_DK2
STM32MP157C-EV1 STM32MP157F-EV1	PLATFORM=stm32mp1-157C_EV1

When the build completes, generated image file sdcard.img can be found in the generated binary images directory ../out/bin/ from build root path. The images is a GPT multipartition image you can raw copy to the target SDcard using a tool like dd.

A usual short fecth/build/load shell sequence is like the one below:

$ repo init -u https://github.com/OP-TEE/manifest.git -m stm32mp1.xml
$ repo sync
$ cd build
$ make toolchains
$ make PLATFORM=stm32mp1-157C_DK2 all
$ dd if=../out/bin/sdcard.img of=/dev/sdX conv=fdatasync status=progress
$ sgdisk -e /dev/sdX

Command sgdisk -e fixes the GPT backup data which location depends on storage device effective size.