[Tee-dev] Need help understanding high level design of OP-TEE Secure OS