Repo manifest for OP-TEE development

In the OP-TEE project we try to gather all documentation under the optee_os git, therefore we recommend that you read the instructions at this page which describes how to setup OP-TEE on various platforms.