The text 3caf13533a03, as Debian 6.0 (Squeeze) shipped it.
access the current driver of a device
device_get_driver(9freebsd) on Linux now
