SCHED_DEADLINE v4 released

After more than one year of development, the 4th version of the SCHED_DEADLINE Linux scheduler has been submitted to the kernel community. Besides taking into account prior comments and observations, this version improves the handling of rq selection for dynamic task migration and has native integration with the PREEMPT_RT project (although a patch for the standard mainline kernel is provided as well). The official development has been moved to a GitHub repository.