STM32-H407 EUR 29.95 development board with STM32F407ZGT6 is now in stock.
The board have micro-SD card, USB host, USB-OTG, all ports break out on connectors and ARDUINO platform connectors.
MAPLE support for F4 is on the way, so this board will be one powerful Arduino alternative.

This board “smells delicious” from here !
Nice; I`d like to have a similar very low cost board with NXP LPC3130 or 3131 which has small onboard memory but has usb 2.0 hi speed otg and two I2S-bus interfaces, two master/slave I2C-bus interfaces, etc. It can not run linux w/o external ram, but can be used to develop a bare metal code for hi speed multichannel data acquisition.