I don't think there is a standard dev board supported by mbed where a seperate audio codec (ADC/DAC) is included, but of course you can buy the two seperate. For sure you want an external DAC/ADC for this: The internal ones are not suited for this, unless you find an MCU with an audio ADC/DAC integrated. Then it might also be relevant what this board would have as input/output: It could be SPI, but often also I2S will be used for audio. I guess most of the faster MCUs support I2S, but it is something to check.
The STM32F7 would indeed have alot of processing power, but we have no idea when it would be activated. The code seems to be done, but for some reason mbed staff pretty much refuses to communicate. Mbed has alot of nice things, any communication with the community is not one of them. So it might be ready tomorrow, it might take months.
The Teensy is an M4 MCU, you work with floats apparantly alot, so an M4 with floating point unit included would be better. But you also overclocked it already quite far apparantly, so that reduced the advantage you obtain.
In the past I made a tool to scrape data from mbed library (should look into improving it again), now my html skills are non-existent, but still it gives an overview: https://developer.mbed.org/media/uploads/Sissors/supported_LDoCekG.htm. What you want is an M4F, sadly I have not been able to automatically obtain clock speeds from the mbed lib (close to impossible).
So looking purely at floating point processing power, the fastest one is the LPC4337 running at 204MHz. This is followed by the K64F, K22F and LPC4088 running at 120MHz, and then you got a bunch of Nucleo ones running at 100MHz. From this the first one I would look at is the LPC4337. Note that I don't have that board, so I have no idea how well it is supported. And you should check out what kind of connections you need to drive an audio DAC.
Finally something to consider: Another thing I never used is an audio DSP, but it might be well suitable for your needs.
Hi my first post here
I'm currently using Teensy 3.1 platform for audio. using its internal DAC I was hoping someone could recommend what platform on mbed might be the next step. I was looking for Built in Audio codec Fast as possible processor Most of my experiments involve audio in - process Filter calculations- Audio Out (Real Time) so thats really tough on the Teensy I mistakenly purchased a STM32F7 only to find its not supported yet (Yes I'm Old and stupid) any advice would be great thanking you all in advise
OldMan (yes i really am that old)