1<!-- 2 If you are new to submitting pull requests to OP-TEE, then please have a 3 look at the list below and tick them off before submitting the pull request. 4 5 1. Read our contribution guidelines: 6 documentation/github.md. 7 8 2. Read the contribution section in Notice.md and pay extra attention to the 9 "Developer Certificate of Origin" part: 10 https://github.com/OP-TEE/optee_os/blob/master/Notice.md#contributions. 11 12 3. You should run checkpatch preferably before submitting the pull request. 13 14 4. When everything has been reviewed, you will need to squash, rebase and 15 add tags like `Reviewed-by`, `Acked-by`, `Tested-by` etc. 16 17 NOTE: This comment will not be shown in the pull request, so no harm keeping 18 it, but feel free to remove it if you like. 19--> 20