Why does get_rtc_time_us() truncate the result to uint32_t?

[WiFive]

Sorry was calling system_get_time which has uint32_t return type along with the other system_ functions at the bottom of time.c. Also my local IDF was borked somehow and wasn't really building latest master even though it seemed so in git. For example had a components/soc folder in IDF directory but was not showing up in project build directory.

Anyway, now that is resolved I am seeing RTC losing around 0.2sec/min to frc1. This is on devkitc v1.

So that seems to be within range of your 10sec/hr.

Seems like setting rtc counter from frc1 before deepsleep is justified.