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