OP-TEE/optee_os — pull request #10 by jbech-linaro (2014-07-08 14:03:07+00:00)
Title: Adding GlobalPlatform documentation

Signed-off-by: Joakim Bech