Porting over code from ESP8266 and hoping for an analog to [time.c in the 8266 core](https://github.com/esp8266/Arduino/blob/4897e0006b5b0123a2fa31f67b14a3fff65ce561/cores/esp8266/time.c) I was digging around in [time.h](https://github.com/espressif/arduino-esp32/blob/03f5d62323f238552de57e91b48cff41a7a7009c/tools/sdk/include/newlib/time.h) but the types and pointers were out of my comfort zone. Specifically configTime() was a very easy way to get the system clock synced with internet time.