The text 6ae3b679b4d1, as Debian 7 (Wheezy) shipped it.
access the current driver of a device
device_get_driver(9freebsd) on Linux now
