OP-TEE 4.0.0 has been released

Hi,

I'm pleased to announce that OP-TEE version 4.0.0 is now available. The list of changes can be found in the changelog [1]. The branch for stable can be found here [2]. Tested platforms in this release can be found here [3].

Many thanks to everyone who has contributed in any form to this release.

[1] https://github.com/OP-TEE/optee_os/blob/master/CHANGELOG.md [2] https://github.com/OP-TEE/manifest/tree/4.0.0 [3] https://github.com/OP-TEE/optee_os/commit/2a5b1d1232f582056184367fb58a425ac7...

Regards,