OP-TEE/optee_os — pull request #75 by jenswi-linaro (2014-10-20 08:06:19+00:00)
Title: Clean unused

Remove some unused files and functions.