I also can't help but think this belongs somewhere other than `hal::*::sched`