The text 80c67ed1f9c3, as Debian 10 (Buster) shipped it.
DSP56001 interface device
dsp56k(4) on Linux now
