[x] Calculate timeslices on the base of prio (use -20 = RT)
[x] Refactor task_resume to preempt/force-switch to the RT process
[ ] Test it, somehow.
By ignoring priority on mutex_unlock/sem_post, priority inversion is not required: use current task_resume implementation for locks listeners to ignore locks priority.
Other uses of task_resume (signals, sleep wakeup, device ISRs) should preempt/force-switch if t.prio=RT.
By ignoring priority on mutex_unlock/sem_post, priority inversion is not required: use current task_resume implementation for locks listeners to ignore locks priority.
Other uses of task_resume (signals, sleep wakeup, device ISRs) should preempt/force-switch if t.prio=RT.