I've worked with the ESP8266, and there I would set the time on bootup via ntp. I was able to call the RTC class from machine and also, use utime.localtime to help calculate the delta. Then I would call RTC().datetime to set the time accordingly. In the ESP32 port, there is neither an RTC class or a localtime function from utime, I'd be glad to look at adding it, but I wanted to make sure I'm not duplicating the same functionality elsewhere. Is someone already working on something similar?