The text 74de34da90d9, as Debian 5.0 (Lenny) shipped it.
access the current driver of a device
device_get_driver(9freebsd) on Linux now
