OP-TEE/optee_os — pull request #46 by jforissier (2014-09-15 21:45:28+00:00)
Title: plat-vexpress: set optimization to -O2 when DEBUG is not 1

On Foundation_v8 FVP, -O2 allows much faster execution than default debug mode
(-O0). The minor rework in core/arch/arm32/kernel/mutex.c is to avoid a GCC
warning: ' may be used uninitialized in this function'.