burritos/src/kernel/thread.rs