...
To develop this TEE subsystem we have been using the open source TEE called OP-TEE (https://github.com/OP-TEE/optee_os) and therefore this would be the first TEE solution supported by this new subsystem. OP-TEE is a GlobalPlatform compliant TEE, however this TEE subsystem is not limited to only GlobalPlatform TEEs, instead we have tried to design it so that it should work with other TEE solutions also.
Does this means that GlobalPlatform API like TEEC_InitializeContext, TEEC_OpenSession or TEEC_InvokeCommand are no more available in kernel ? Do you have replace them by something else ?
Benjamin