Constant CONFIG_ESP32_TIME_SYSCALL_USE_RTC_HRT 

pub const CONFIG_ESP32_TIME_SYSCALL_USE_RTC_HRT: u32 = 1;