GRUB real-time scheduler will be merged into the official Linux kernel

Evidence is proud to announce that the GRUB real-time scheduler has been merged into the official Linux kernel and will be part of the upcoming 4.13 release.

The support has been developed by ReTiS Lab (i.e. Luca Abeni) with the collaboration of Evidence (in the context of the HERCULES H2020 project).

For more information about the submitted contributions, this is the whole patchset:

  1. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=e36d8677bfa55054e4194ec3683189b882a538f6
  2. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=e36d8677bfa55054e4194ec3683189b882a538f6
  3. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=387e31300b5760169e6d3f7a9e1eeed12cc5a30b
  4. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=c52f14d384628db0217a7a9080ab800d5ffb2d72
  5. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=4da3abcefe178c650033f371e94fa10e80bce167
  6. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=2d4283e9d583a3ee8cfb1cbb9c1270614df4c29d
  7. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=8fd27231c3302e0c7e1907df1252db97b65eb241
  8. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=9f0d1a5077399143aad7e1244bb031e29116074e
  9. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=daec5798367012951cdb54fdb5c006e4379c9ae9
  10. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=ccc9d651a7d26fec88d2375c4dd4e097cc0f8de7