Re: [Tee-dev] [PATCH] arm: imx: add iMX7D PICO MBL board definition

Hi Jun Nie,

On Mon, Jan 07, 2019 at 10:35:50AM +0800, Jun Nie wrote:

This patch adds an OP-TEE port for the i.MX7D PICO for the MBED Linux OS boot flow.

Thanks for the patch, however would you mind sending it as a pull request to GitHub instead, since that is the way we deal with patches in the OP-TEE project? I.e., a pull request to: https://github.com/OP-TEE/optee_os/pulls