The text 8442dfd37758, as Debian 10 (Buster) shipped it.
Measure scheduler utilization
scheduler(3erl) on Linux now
