EDF scheduling of real-time tasks on multiple cores