GitHub repository: xen-troops/optee_manifest
Description: Manifests to use OP-TEE on various platforms