I noticed that a port to the STM32F4 Discovery has shown up in the MIOS sources. What is the status of the port? Is a new Core board planned?   The STM32F4 parts have a few features that the LPC1769 doesn't, mainly a proper SD card controller that can use 1 or 4 bit modes instead of SPI, should be a lot faster; and an external memory controller for SRAM or additional Flash. Unfortunately the 100 pin part on the Discovery board doesn't expose all the pins needed to properly interface with exter