How to get the current time ?

Hello,

I use the sysbios and the board LM3S9D96,

Does the sysbios support the library to get the current time of unit seconds?

It would be the same as the Linux C library like below example:

#include <time.h>

main()

{

     time_t  timestamp;

     int   seconds;

     seconds = time(&timestamp);

}

Thanks