micropython/micropython — pull request #205 by dhylands (2014-01-22 02:09:42+00:00)
Title: Fix support for STM32F4DISCOVERY

Enable GPIO Port D for the Discovery (since the 4 LEDs are on PortD)
Disable MMA7660 support for Discovery
Added PB15 SD Card detect (the DM-STF4BB Base Board has an SDCard slot on it, and the card detect is connected to PB15)