Time initialization performed in init_teecore()

Time initialization was performed in specific platform initialization
main_init_helper() function. It is now performed in the generic arm32
initialization init_teecore() function.

Signed-off-by: Pascal Brand <pascal.brand@st.com>
Reviewed-by: Joakim Bech joakim.bech@linaro.org
Reviewed-by: Jens Wiklander jens.wiklander@linaro.org

1 files changed, 4 insertions, 0 deletions

diff --git a/core/arch/arm32/tee/init.c b/core/arch/arm32/tee/init.c
index c67cc6d..78d969c 100644
--- a/core/arch/arm32/tee/init.c
+++ b/core/arch/arm32/tee/init.c
@@ -32,6 +32,7 @@
 #include <kernel/tee_misc.h>
 #include <mm/core_memprot.h>
 #include <kernel/tee_core_trace.h>
+#include <kernel/time_source.h>
 #include <mm/tee_mmu.h>
 #include <tee/tee_fs.h>
 
@@ -82,6 +83,9 @@ TEE_Result init_teecore(void)
 	/* Libtomcrypt initialization */
 	tee_ltc_init();
 
+	/* time initialization */
+	time_source_init();
+
 	IMSG("teecore inits done");
 	return TEE_SUCCESS;
 }