Implementation of the EDF scheduling policy for the linux kernel