Regarding the DSP stuff, if we decide to write our own DSP kernel we won't be able to use the DSP tasks anymore afaiu (as they are statically linked), so we'd need to write our own DSP tasks (which is generally a big undertaking).

With that said there's the skeleton of an mp3 decoder in Garage, which I've not had the time to debug, so it's a possibility. The alternative is to use the DSP to do other simpler and smaller acceleration functions but keep the main decoding done on the ARM (in which case we may want to develop ARM-side kernel audio drivers), no idea if this would be useful or not, but would be interesting.