| Build the OP-TEE binary (optional) | |
| ---------------------------------- | |
| .. code-block:: bash | |
| $ git clone https://github.com/OP-TEE/optee_os.git | |
| $ cd optee_os | |
| $ make CFG_TEE_BENCHMARK=n \ | |
| CROSS_COMPILE=aarch64-linux-gnu- \ | |
| O=out/arm \ | |
| PLATFORM=imx-mx8mmevk \ | |
| CFG_TZDRAM_START=0x56000000 \ | |
| CFG_DDR_SIZE=0x80000000 \ | |
| CFG_UART_BASE=UART3_BASE |