There are several ways to do this. You might want to check the ‘get_ticks(), a 64 bit Timestamp counter in the ‘clk.c’ driver or leverage the internal RTC. You can configure the RTC to run at 1Hz and read the RTC_CCVR register.
I hope that helps you. Thank you.
Intel Customer Support