ARM-software/arm-trusted-firmware — pull request #211 by jenswi-linaro (2014-09-16 19:01:05+00:00)
Title: Optee 140916

Rebased on integration branch addressed previous review comments.