micropthon/teensy now compiles.
new file:   linux/micropython_help.txt
The help shows features not yet implemented in teensy3.x port.