MicroTEE: Designing TEE OS Based on the Microkernel Architecture

Dongxu Ji, Qianying Zhang, Shijun Zhao +2

ARM TrustZone technology is widely used to provide Trusted Execution Environments (TEE) for mobile devices. However, most TEE OSes are implemented as monolithic kernels. In such de…