GitHub repository: xen-troops/optee_build
Description: Makefiles to use OP-TEE on various platforms