Changes for edf scheduler