The text 8081ddcba4cf, as Debian 9 (Stretch) shipped it.
DSP56001 interface device
dsp56k(4) on Linux now
