OP-TEE/optee_os — pull request #64 by pascal-brand-st-dev (2014-10-13 06:42:50+00:00)
Title: Time initialization init_teecore()

Signed-off-by: Pascal Brand