burritos/src/kernel/scheduler.rs