The text 2f7b4017bd90, as Debian 8 (Jessie) shipped it.
ULE scheduler
sched_ule(4freebsd) on Linux now
