The text 6d48a1955c3f, as Debian 7 (Wheezy) shipped it.
ULE scheduler
sched_ule(4freebsd) on Linux now
