GitHub repository: vchong/manifest
Description: Manifests to use OP-TEE on various platforms