freenode/#mezzano - IRC Chatlog Search Wednesday, 20th of February 2019, 0:08:24 UTC 9:41:08 leo_song The staircase scheduler https://lwn.net/Articles/87729/ 9:41:27 leo_song This is a very simple algorithm 9:42:10 leo_song [<froggey> btw, feel free to replace the low/normal/high thread priorities which whatever you need] That's exactly what I want to do (while keeping the supervisor queue).