charles-stephen gregory edited the article How to build TEE for Android