Hi guys, I'm just starting on ARM and I'd like to ask a some questions. How can I know when does the scheduler resume after leaving the idle thread (os_idle_demon) ? Or in other words, how can i know how long the system stays in idle thread since os_time_get is not allowed in idle demon? Thanks in advance.