OP-TEE/optee_os — pull request #76 by jbech-linaro (2014-10-20 12:51:39+00:00)
Title: plat-vexpress: build TA with -mfloat-abi=soft

Solves the same problem as in commit e46048ea...