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