The text 2aaae8d6b21e, as Debian 10 (Buster) shipped it.
introduction to devices and device drivers
intro(4freebsd) on Linux now