Trusted Execution Environment (TEE) support?

As J2 will be based on a Mediatek platform, could this M-TEE provide the basis for a TEE, e.g. OP-TEE on SFOS?

See also the corresponding CC Certification Report.