[OP-TEE OS] is a Trusted OS running as Secure EL1.
To build and execute OP-TEE follow the instructions at [OP-TEE build.git][OP-TEE OS]
Copyright (c) 2014-2017, ARM Limited and Contributors. All rights reserved.