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

Copyright (c) 2014-2018, Arm Limited and Contributors. All rights reserved.