Is there an Alsa driver for the Teak DSP used in some ARM chips like the NXP LPC3180? I've been googling around and can't locate one.

I have a GPL'd OSS driver if anyone is interested. It's 3,581 lines.