The text 1164ae59bd2b, as Debian 13 (Trixie) shipped it.
overview of CPU scheduling
sched(7) on Linux now