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

Supported boards

Baord Name Manufacturer Boot media Hardware Description
STM32MP157A-DK1 STMicroelectronics SDcard Wiki STM32MP157X-DKX
STM32MP157C-DK2 STMicroelectronics SDcard Wiki STM32MP157X-DKX
STM32MP157C-EV1 STMicroelectronics SDCard Wiki STM32MP157C-EV1

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
STM32MP157A-DK1 PLATFORM=stm32mp1-157A_DK1
STM32MP157C-DK2 PLATFORM=stm32mp1-157C_DK2
STM32MP157C-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 -m stm32mp1.xml
$ repo sync
$ cd build
$ make toolchains
$ make PLATFORM=stm32mp1-157C_DK2 all
$ sudo dd if=../out/bin/sdcard.img of=/dev/sdX conv=fdatasync status=progress