OP-TEE Dispatcher
=================

[OP-TEE OS] is a Trusted OS running as Secure EL1.

To build and execute OP-TEE follow the instructions at
[OP-TEE build.git][OP-TEE OS]

- - - - - - - - - - - - - - - - - - - - - - - - - -

_Copyright (c) 2014-2017, ARM Limited and Contributors. All rights reserved._

[OP-TEE OS]:  https://github.com/OP-TEE/build