Added IRQ manager, cleared task.h/sched.h warnings