Implementation of the C time.h functions   Provides mechanisms to set and read the current time, based  on the microcontroller Real-Time Clock (RTC), plus some  standard C manipulation and formating functions.    @code  #include "mbed.h"    int main() {      set_time(1256729737);  // Set RTC time to Sunday, 13 Sep 2020 11:35:37       while(1) {          time_t seconds = time(NULL);            printf("Time as seconds since January 1, 1970 = %d ", seconds);          printf("Time as a basic string = %s", ctime(&seconds));           char buffer[32];    ... See the full answer