micropython/teensy
..
Makefile
README.md
lcd.c
led.c
led.h
lexerfatfs.c
main.c
mk20dx256.ld
mpconfigport.h
std.h
usart.c
usb.c
usb.h

README.md

Build Instructions for Teensy 3.1

This assumes that you have TeensyDuino installed and set the ARUINO 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.