mbedmicro/mbed — pull request #393 by fritzprix (2014-07-08 16:23:02+00:00)
Title: - Add Nucleo F401RE Support

Just few lines of macro added it's based on assumption that F401RE is fully compatible to F407V in kernel dependency (mostly arm v7m dependent part)