This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

RTOS/EK-TM4C129EXL: TM4C129 How can I generate the current time in milliseconds?

Other Parts Discussed in Thread: EK-TM4C129EXL

Hello,
I have an EK-TM4C129EXL development board and use TI-RTOS v2.16.1.14.
I receive data via the UART interface and save the current time with the override time () function.

time_t t32 = time (NULL);
System_printf ("% s", ctime (& t32));

But I also need the time in milliseconds.

The time in seconds I have through the function time (NULL). If I had an extra timer that starts every second (that is, every time the timer counts up by 1 second from time (NULL)), I could get the time in milliseconds.

But I have to synchronize the additional timer with the timer of time (NULL).
Where is the ISR of the time (NULL) timer?

Or, how else is the usual time to generate in seconds and the past milliseconds.