TEE specs announced

GlobalPlatform has released two specification documents for use by software developers working with trusted execution environments. TEE Systems Architecture v1.0 explains the hardware and software architectures involved, while the TEE Internal API Specification v1.0 sets out how to develop trusted applications.