osiris/sched/
dispch.rs

1use super::task::Task;
2
3pub fn prepare(task: &mut Task) {
4    if task.id.is_kernel() {
5        // Change task priv. level in HAL.
6    }
7}