Error message

Warning: array_flip(): Can only flip STRING and INTEGER values! in DrupalDefaultEntityController->load() (line 175 of /home/www/drupal7/includes/

The IRMOS Real-Time Scheduler @ LWN.NET!

An article about the new IRMOS real-time scheduler for Linux appeared on, a website dedicated to the latest features available for the Linux kernel (both mainline and experimental), mainly targeting the community of Linux kernel developers and experienced users willing to try/test the latest features.
The article includes a general description of the scheduler features, a mini-tutorial on how it can be practically used, a comparison with the SCHED_DEADLINE EDF scheduler, etc. Feel free to comment.