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