micropython/teensy
..
memzip_files
Makefile
README.md
add-memzip.sh
hal_gpio.c
help.c
import.c
lcd.c
led.c
led.h
lexerfatfs.c
lexermemzip.c
lexermemzip.h
main.c
make-pins.py
memzip.c
memzip.h
mk20dx256-af.csv
mk20dx256-prefix.c
mk20dx256.ld
modpyb.c
mpconfigport.h
pin_defs_teensy.h
qstrdefsport.h
servo.c
servo.h
std.h
teensy-pins.csv
teensy_hal.c
teensy_hal.h
uart.c
usb.c
usb.h

README.md

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.