FreeRTOS получает текущее время

У меня есть код, который работает с FreeRTOS, и я хочу его отредактировать, это код, который измеряет давление и температуру, и я хочу иметь время, когда эти измерения являются токенами.

Может ли кто-нибудь сказать мне, как получить текущее время на моей машине или дату?

Спасибо.

Это код, который я использую прямо сейчас.

//#include <stdio.h>
//#include <stdlib.h>
#include <stdint.h>
#include <math.h>
#include "platform.h"
#include "printf.h"
#include "lps331ap.h"

static void app_task(void *);

int main(int argc, char *argv[])
{

    // Initialize the platform
    platform_init();

    // Create a task for the application
    xTaskCreate(app_task, (const signed char * const) "lps331", configMINIMAL_STACK_SIZE, NULL, 1, NULL);

    // Run
    platform_run();
    return 0;
}

static void app_task(void *param)
{
    uint32_t pres;
    int16_t temp;
    int count=0;

   // FILE* fichier = NULL;

    printf("# Testing LPS331AP\n");

    printf("# Initializing LPS331AP...\n");
    lps331ap_powerdown();

    printf("# Setting LPS331AP pressure sensor\n");
    lps331ap_set_datarate(LPS331AP_P_12_5HZ_T_12_5HZ);

    while (1)
    {
        lps331ap_read_pres(&pres);
        lps331ap_read_temp(&temp);
        //fichier = fopen("test.txt", "w");
        //fprintf(fichier,"%f", pres / 4096.0);
        //fprintf(fichier,"%f", 42.5 + temp / 480.0 );
        printf("%d\t",count);

        printf("%f\t", 42.5 + temp / 480.0);

        printf("%f\n", pres / 4096.0);

        count=count+1;
        //fclose(fichier);

        //vTaskDelay(configTICK_RATE_HZ / 10);
        vTaskDelay(2000);
        //vTaskDelay(600000);
    }
}