Commit for project 1:
1. Reimplement timer_sleep() to avoid busy waiting;
2. Implement priority scheduling.