I'm using DSP_BIOS version 5.40.02.22 running in the DSP of an OMAPL138.
I'm using TSK_idle to do some power management, shutting down unneeded devices when all the other tasks are idle. I'm looking for a method to determine, when the next task will become ready. For example, if two tasks are running and one executes a SEM_pend with a timeout of 1 second and the other executes a TSK_sleep for 2 seconds, I'd like TSK_idle to be able to find out that some task will be ready in 1 second. TSK_idle could power hardware down but could make sure to power it back up before the first task becomes ready.