The text 001aea9a4b1d, as Debian 7 (Wheezy) shipped it.
perform round-robin scheduling of runnable processes
sched_setup(9freebsd) on Linux now
