This document has been moved to /w/trusted-services/op-tee-spmc/release-testing-4-0/. You can edit it to put new content here, or use history to revert to an earlier version.