ARM-software/arm-trusted-firmware — pull request #188 by jenswi-linaro (2014-08-14 12:19:58+00:00)
Title: Optee 140814

Build instructions available at https://github.com/jenswi-linaro/optee_os/blob/atf_140814/documentation/arm_trusted_firmware.md

The OP-TEE Dispatcher is much like the TSPD, perhaps we should try to share code between them before merging.