Work in progress, scheduler correct for toy example, doesn't work for the processor