On 7 Mar 2017, at 11:57 , [email protected] wrote: > > The priority scheduler picks between runnable tasks by their priority. > You still need to ensure that tasks become runnable/not-runnable at the > right times, either by messaging and blocking-on-IPC, or having a > supervisor suspend/resume them. That will probably require a > high-priority user-level task controlling a timer device of its own.
Ahem. That’s what we have periodic threads for. Gernot _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
