Damien George d553be5982 build: Simplify build directory layout by putting all headers in genhdr.
Any generated headers go in $(BUILD)/genhdr/, and are #included as
'genhdr/xxx.h'.
2014-04-17 18:03:27 +01:00
..
2014-01-06 00:20:11 -08:00
2014-03-31 15:18:22 +01:00
2014-01-06 00:20:11 -08:00
2014-01-06 00:20:11 -08:00

Build Instructions for Teensy 3.1

This assumes that you have TeensyDuino installed and set the ARDUINO environment variable pointing to the where Arduino with TeensyDuino is installed.

cd teensy
ARDUINO=~/arduino-1.0.5 make

To upload micropython to the Teensy 3.1.

Press the Program button on the Teensy 3.1

make upload

Currently, the python prompt is through the USB serial interface.