OP-TEE/optee_os — pull request #111 by m943040028 (2014-11-07 11:08:59+00:00)
Title: Se api

Just for preview. Please don't merge it.