Work is still ongoing with the main board.
The source code repository is here:
https://github.com/micropython/micropython
This page covers what is and isn't being worked on:
https://github.com/micropython/micropyt ... ds-Summary
To summarize:
You can run micropython under linux (this is used mostly for testing the core language features)
There are 4 boards supported that are based on the STM32F4xx chips:
- PYBOARD3 (I doubt anybody but Damien has one of these)
- PYBOARD4 - I believe that this will be the shipping board
- STM32F4DISC - The STM32F4 Discovery board
- NETDUINO_PLUS_2 - The Netduino Plus 2 board, which has the same processor as the PYBOARD4
I did a port to the teensy 3.1 (which is also a Cortex-M4, but by Freescale rather than STM).
I've basically abanoned that and primarily use the Netduino board or the Discovery board, until things mature a bit, and then I'll go back and work on the teensy again.