TEE-Fiasco實現需求分析

Fiasco是micro kernel，基於其上，一般使用L4作爲用戶開發環境。n年前，曾想將Fiasco移植爲Security OS，TA可以使用L4豐富的開發環境。此篇手稿就是當時的實現需求分析。 TEE-Fiasco實現需求分析 前提：在儘可能複用Op-Tee的client API和Linux Driver的前提下，對L4提的實現需求。 1. 多核模型 TEE：UP REE：SMP 2種發起

>>阅读原文<<