Re: [Tee-dev] [PATCH v2 5/6] SUPPORT.md: Describe OP-TEE mediator