| Jens Wiklander | aa5da46 | 2014-08-04 15:39:58 +0200 | [diff] [blame] | 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 | ||||