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