The IRQ handler now correctly sets interrupt priorities
Added a a primitive scheduler foundation with a test process