The text b94c043b05fe, as Debian 9 (Stretch) shipped it.
perform round-robin scheduling of runnable processes
scheduler(9freebsd) on Linux now
