The text 3a8ccef3eb61, as Debian 9 (Stretch) shipped it.
access the description of a device
device_get_desc(9freebsd) on Linux now
