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.