TEE_GetSystemTime invalid time

[jdeus]

On rpi3 with the default governor (powersave), The results of seconds of a TEE_Time passed to TEE_GetSystemTime must be divided by 10 to obtain a valid result.

Example:

TEE_Time startt, stopt;

TEE_GetSystemTime(&startt);
(...)
TEE_GetSystemTime(&stopt);

IMSG("%d.%d", startt.seconds, startt.millis);
IMSG("%d.%d", stopt.seconds, stopt.millis);

Produces:

I/TA: 2831.571
I/TA: 2929.64

While only ~9 seconds have elapsed.

Expected:

I/TA: 283.1571
I/TA: 292.964

[jockebech]

Yes, this seems like a bug to me. Do you think you could make a patch for it?

[jockebech]

Adding "bug" label so we can pick this up at some time later.

[github-actions]

This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment saying that you would like to have the label removed otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.