OP-TEE Dispatcher

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

To build and execute OP-TEE OS follow the instructions at [ARM Trusted Firmware with OP-TEE] OP-TEE OS


Copyright (c) 2014, ARM Limited and Contributors. All rights reserved.