- moved migration code into idle() process and updated schedule() to detect when a thread has moved to another CPU in order to avoid doing housekeeping on behalf of the original one - start CPU head from core 0 - keeps track of nested interrupts
- moved migration code into idle() process and updated schedule() to detect when a thread has moved to another CPU in order to avoid doing housekeeping on behalf of the original one - start CPU head from core 0 - keeps track of nested interrupts