1 OP-TEE Dispatcher 2 ================= 3 4 [OP-TEE OS] is a Trusted OS running as Secure EL1. 5 6 To 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
