The text 656bf415e27b, as Debian 10 (Buster) shipped it.
kernel interrupt threads
ithread_create(9freebsd) on Linux now
