View source for How to populate and boot a board with OP-TEE

==Usage==
===Programming the built image with OP-TEE===
Inside the build-<distro>-<machine>/tmp-glibc/deploy/images/stm32mp1/flashlayout_st-image-weston folder, one of the OP-TEE Flash layout file must be selected:
 Flashlayout_*-optee.tsv
Several devices to program (microSD, e•MMC...) are available on the board.

Once the Flash layout file has been selected, the [[STM32CubeProgrammer]] tool can be used as usual.

{{Info|For microSD card and Evaluation board, the correct Flash layout file to use is: '''FlashLayout_sdcard_stm32mp157c-ev1-optee.tsv''' }}

===Booting the built image with OP-TEE===

During boot sequence, the OP-TEE integration trace should be displayed on the UART console log. The OP-TEE core boot stage trace should look like this:
 I/TC:  Pager is enabled. Hashes: 1184 bytes
 I/TC:  OP-TEE version: openstlinux-18-06-01
 I/TC:  Initialized

The Linux kernel boot trace should show the successful probing of the OP-TEE Linux kernel driver:
 optee: probing for conduit method from DT.
 optee: initialized driver

<noinclude>
[[Category:How to populate boards]]
{{PublicationRequestId | 9018 | 2018-10-08 | BrunoB}}
</noinclude>