The instructions here will tell how to run OP-TEE on one of the supported STM32MP1 boards.
Follow the instructions at “Get and build the solution”.
PLATFORM can be used to specify the target device
as listed in table below:
|Build configuration directive
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
$ sudo dd if=../out/bin/sdcard.img of=/dev/sdX conv=fdatasync status=progress