• the kernel has been updated to v4.19.6;
  • the PDS-mq CPU scheduler has been updated to v0.99f.