GP TEE Security Model Layer
Theories
GPTEE_Objectives