The instructions here will tell how to run OP-TEE on one of the supported STM32MP1 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.
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/sdXCommand sgdisk -e fixes the GPT backup data which location depends on
storage device effective size.