Reading the ESP32 internal RTC

Does Mongoose have any library support for setting and reading the ESP32 internal RTC?