OP-TEE/optee_os — pull request #104 by pascal-brand-st-dev (2014-11-04 21:11:31+00:00)
Title: Library compilation support

On behalf of Jérôme.