The text 90bf03af2271, as Debian 10 (Buster) shipped it.
access the current driver of a device
device_get_driver(9freebsd) on Linux now
