I'd like to set a timer that uses the RTC so that it can wake the WiFi module up out of LPDS. What is the preferred way to do this? I've been using sleep() for timing purposes, but I don't see any solid indications that it uses the RTC instead of the high-speed clock.