OP-TEE/optee_os — pull request #48 by jenswi-linaro (2014-09-16 13:52:45+00:00)
Title: Update references to ARM Trusted Firmware

We must never abbreviate ARM so we either reference as "ARM
Trusted Firmware" or "ARM-TF".