GitHub repository: Distrinet-TACOS/manifest
Primary language: Shell
Description: Manifests to use OP-TEE on various platforms