CC3200 Time of Day

Hi,

  I imported the empty project within CCS.  I added the following code:

#include <time.h>

time_t foo = time(NULL);
System_printf("%s\n\r", ctime(&foo));

I ran this on my :Launchpad, and the system printed out:

Mon Aug 24 19:07:25 2015

My entire Main is as follows:

int main(void)
{
    /* Call board init functions. */
    Board_initGeneral();
    Board_initGPIO();
    // Board_initI2C();
    // Board_initSDSPI();
    // Board_initSPI();
    // Board_initUART();
    // Board_initWatchdog();

    /* Turn on user LED */
    GPIO_write(Board_LED0, Board_LED_ON);

    System_printf("Starting the example\nSystem provider is set to SysMin. "
                  "Halt the target to view any SysMin contents in ROV.\n");
    /* SysMin will only print to the console when you call flush or exit */
    time_t foo = time(NULL);
    System_printf("%s\n\r", ctime(&foo));

    System_flush();


    /* Start BIOS */
    BIOS_start();

    return (0);
}

My question is:  How does the Launchpad know what time it is?