1OP-TEE Dispatcher 2================= 3 4[OP-TEE OS] is a Trusted OS running as Secure EL1. 5 6To build and execute [OP-TEE OS] follow the instructions at 7[ARM Trusted Firmware with OP-TEE] [OP-TEE OS] 8 9- - - - - - - - - - - - - - - - - - - - - - - - - - 10 11_Copyright (c) 2014, ARM Limited and Contributors. All rights reserved._ 12 13[OP-TEE OS]: http://github.com/OP-TEE/optee_os/tree/master/documentation/arm_trusted_firmware.md 14