OP-TEE/optee_os — pull request #137 by jforissier (2014-11-26 15:52:23+00:00)
Title: Update documentation/build_system.md

Signed-off-by: Jerome Forissier