The text ec407f35ae83, as Debian 7 (Wheezy) shipped it.
DSP56001 interface device
dsp56k(4) on Linux now
