micropython/micropython — pull request #259 by dhylands (2014-02-04 07:29:19+00:00)
Title: Initial support for Netduino

This also fixes up the IRQ for the PYBOARD4 USERSW
although I was unable to test that functionality.

I've tested the following:
- repl on USB Serial works
- USB Mass Storage seems to work
- both LEDs work
- USERSW works
- 5V on arduino header is enabled